Adapt `nofib` code to Foldable-generalised Prelude
authorHerbert Valerio Riedel <hvr@gnu.org>
Tue, 23 Sep 2014 21:41:37 +0000 (23:41 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Tue, 23 Sep 2014 21:41:37 +0000 (23:41 +0200)
real/anna/AbstractVals2.hs
real/veritas/DerivedRules.hs
shootout/spectral-norm/Main.hs

index 811f214..c223d5f 100644 (file)
@@ -466,9 +466,9 @@ avMaxAddPtR x ys
    | x `avBelowMax0R` ys = ys
    | otherwise = x:[y | y <- ys, not (y << x)]
 
-avMinR = foldr avMinAddPtR []
+avMinR = foldr avMinAddPtR [] :: [Route] -> [Route]
 
-avMaxR = foldr avMaxAddPtR []
+avMaxR = foldr avMaxAddPtR [] :: [Route] -> [Route]
 
 
 -- ==========================================================--
@@ -489,9 +489,9 @@ avMaxAddPtrep x ys
    | x `avBelowMax0rep` ys = ys
    | otherwise = x:[y | y <- ys, not (y `avBelowEQrep` x)]
 
-avMinrep = foldr avMinAddPtrep []
+avMinrep = foldr avMinAddPtrep [] :: [Rep] -> [Rep]
 
-avMaxrep = foldr avMaxAddPtrep []
+avMaxrep = foldr avMaxAddPtrep [] :: [Rep] -> [Rep]
 
 
 -- ==========================================================--
index e4c299b..e07b27e 100644 (file)
@@ -152,5 +152,6 @@ find_betas
          do_beta_red _ (App (Binder Lambda dc tm1 _ _) tm2 _ _) 
                = subst_trm dc tm1 tm2
 
+rep_beta :: Thm -> [[Int]] -> Thm
 rep_beta = foldl beta_rw
 
index ed6c022..1fae229 100644 (file)
@@ -20,7 +20,8 @@ import Foreign
 import Text.Printf
 import Control.Concurrent
 import Control.Monad
-import GHC.Base
+import GHC.Base (Int(..), Double(..), (+#), (*#), (/##),
+                 quotInt, uncheckedIShiftRA#, int2Double#)
 import GHC.Conc
 
 type Reals = Ptr Double