Commit fdf370eb authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Forgot to amend before pushing...

parent f764aac5
......@@ -406,7 +406,7 @@ mapFB c f = \x ys -> c (f x) ys
--
-- http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf
{-# RULES [1] "map/coerce" map coerce = coerce #-}
{-# RULES "map/coerce" [1] map coerce = coerce #-}
\end{code}
......
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