Commit 46629f2a authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au
Browse files

Fix arities of mapFB and zipFB

parent 07061ccc
......@@ -359,7 +359,7 @@ map f (x:xs) = f x : map f xs
-- Note eta expanded
mapFB :: (elt -> lst -> lst) -> (a -> elt) -> a -> lst -> lst
{-# INLINE [0] mapFB #-}
mapFB c f x ys = c (f x) ys
mapFB c f = \x ys -> c (f x) ys
-- The rules for map work like this.
--
......
......@@ -647,7 +647,7 @@ zip _ _ = []
{-# INLINE [0] zipFB #-}
zipFB :: ((a, b) -> c -> d) -> a -> b -> c -> d
zipFB c x y r = (x,y) `c` r
zipFB c = \x y r -> (x,y) `c` r
{-# RULES
"zip" [~1] forall xs ys. zip xs ys = build (\c n -> foldr2 (zipFB c) n xs ys)
......
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