diff options
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/base/GHC/Base.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/libraries/base/GHC/Base.hs b/libraries/base/GHC/Base.hs index 0d20e345e6..397e2b768b 100644 --- a/libraries/base/GHC/Base.hs +++ b/libraries/base/GHC/Base.hs @@ -864,9 +864,8 @@ mapFB c f = \x ys -> c (f x) ys "mapFB" forall c f g. mapFB (mapFB c f) g = mapFB c (f.g) #-} --- There's also a rule for Map and Data.Coerce. See "Safe Coercions", --- section 6.4: --- +-- See Breitner, Eisenberg, Peyton Jones, and Weirich, "Safe Zero-cost +-- Coercions for Haskell", section 6.5: -- http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf {-# RULES "map/coerce" [1] map coerce = coerce #-} |