[project @ 1998-11-16 18:14:44 by simonm]
[ghc-hetmet.git] / ghc / tests / typecheck / should_run / tcrun002.hs
index 0c511f6..3e27872 100644 (file)
@@ -7,7 +7,7 @@ module Main where
 import System(getArgs)
 import PrelIOBase
 
-sfoldl :: Eval a => (a -> Int -> a) -> a -> [Int] -> a
+sfoldl :: (a -> Int -> a) -> a -> [Int] -> a
 sfoldl f z [] = z
 sfoldl f z (x:xs) = _scc_ "sfoldl1" (sfoldl f fzx (fzx `seq` xs))
                   where fzx = _scc_ "fzx" (f z x)