diff options
| author | David Feuer <David.Feuer@gmail.com> | 2014-11-13 08:43:33 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-11-13 08:43:41 +0100 |
| commit | 413c747ab1daaf489b6ef4106739df280323525b (patch) | |
| tree | b8229aa8274a6417d4b0423d8b2ebf248806a100 /libraries/base/GHC/Base.hs | |
| parent | 8fe2bbe9502b4accafb14a4234f264f4457f3ff2 (diff) | |
| download | haskell-413c747ab1daaf489b6ef4106739df280323525b.tar.gz | |
base: Fix map/coerce comment
Make the comment on the map/coerce rule refer to the right section in
the paper; give the full name of the papers, and name its authors.
[skip ci]
Differential Revision: https://phabricator.haskell.org/D472
Diffstat (limited to 'libraries/base/GHC/Base.hs')
| -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 #-} |