Fire "map/coerce" only in phase 1
authorJoachim Breitner <mail@joachim-breitner.de>
Tue, 10 Jun 2014 14:13:17 +0000 (16:13 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Tue, 10 Jun 2014 14:13:17 +0000 (16:13 +0200)
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.

libraries/base/GHC/Base.lhs

index 1c8e144..f4f3454 100644 (file)
@@ -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}