Skip to content
Snippets Groups Projects
Commit 413c747a authored by David Feuer's avatar David Feuer Committed by Herbert Valerio Riedel
Browse files

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
parent 8fe2bbe9
No related branches found
No related tags found
No related merge requests found
...@@ -864,9 +864,8 @@ mapFB c f = \x ys -> c (f x) ys ...@@ -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) "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", -- See Breitner, Eisenberg, Peyton Jones, and Weirich, "Safe Zero-cost
-- section 6.4: -- Coercions for Haskell", section 6.5:
--
-- http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf -- http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf
{-# RULES "map/coerce" [1] map coerce = coerce #-} {-# RULES "map/coerce" [1] map coerce = coerce #-}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment