From 413c747ab1daaf489b6ef4106739df280323525b Mon Sep 17 00:00:00 2001
From: David Feuer <David.Feuer@gmail.com>
Date: Thu, 13 Nov 2014 08:43:33 +0100
Subject: [PATCH] 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
---
libraries/base/GHC/Base.hs | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/libraries/base/GHC/Base.hs b/libraries/base/GHC/Base.hs
index 0d20e345e646..397e2b768b56 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 #-}
--
GitLab