Commit 5c9562cf authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺

Adapt `nofib` code to Foldable-generalised Prelude

parent 487ff1a2
......@@ -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]
-- ==========================================================--
......
......@@ -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
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment