Remove misleading comment
authorAustin Seipp <austin@well-typed.com>
Thu, 13 Mar 2014 23:19:28 +0000 (18:19 -0500)
committerAustin Seipp <austin@well-typed.com>
Thu, 13 Mar 2014 23:19:32 +0000 (18:19 -0500)
We actually can't inline at phase 0 here, because there's probably a
pretty good chance 'map' will get optimized away which will defeat the
rule.

Signed-off-by: Austin Seipp <austin@well-typed.com>
GHC/Base.lhs

index bb605e7..1c8e144 100644 (file)
@@ -405,9 +405,6 @@ mapFB c f = \x ys -> c (f x) ys
 -- section 6.4:
 --
 --   http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf
---
--- We rewrite late so the optimiser has as many chances as possible to
--- turn up instances of map coerce.
 
 {-# RULES "map/coerce" map coerce = coerce #-}