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

Fire "map/coerce" only in phase 1

I just noticed a lot of warnings

	Rules.findBest: rule overlap (Rule 1 wins)
	    Rule 1: "map"
	    Rule 2: "map/coerce"

which can easily be avoided by acitivating map/coerce only from phase 1
on.
parent faddad7e
......@@ -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 "map/coerce" map coerce = coerce #-}
{-# RULES [1] "map/coerce" 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