[commit: ghc] master: Reference Note [Kind-changing of (~) and Coercible] (4133ff8)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/4133ff86cbeefedf51f5ec963a06665e35fc68dd/ghc

>---------------------------------------------------------------

commit 4133ff86cbeefedf51f5ec963a06665e35fc68dd
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Mar 14 11:28:48 2014 +0100

    Reference  Note [Kind-changing of (~) and Coercible]


>---------------------------------------------------------------

4133ff86cbeefedf51f5ec963a06665e35fc68dd
 compiler/prelude/TysWiredIn.lhs |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/prelude/TysWiredIn.lhs b/compiler/prelude/TysWiredIn.lhs
index bf1907d..9ecc581 100644
--- a/compiler/prelude/TysWiredIn.lhs
+++ b/compiler/prelude/TysWiredIn.lhs
@@ -174,10 +174,12 @@ mkWiredInDataConName built_in modu fs unique datacon
                   (AConLike (RealDataCon datacon))    -- Relevant DataCon
                   built_in
 
+-- See Note [Kind-changing of (~) and Coercible]
 eqTyConName, eqBoxDataConName :: Name
 eqTyConName      = mkWiredInTyConName   BuiltInSyntax gHC_TYPES (fsLit "~")   eqTyConKey      eqTyCon
 eqBoxDataConName = mkWiredInDataConName UserSyntax    gHC_TYPES (fsLit "Eq#") eqBoxDataConKey eqBoxDataCon
 
+-- See Note [Kind-changing of (~) and Coercible]
 coercibleTyConName, coercibleDataConName :: Name
 coercibleTyConName   = mkWiredInTyConName   UserSyntax gHC_TYPES (fsLit "Coercible")  coercibleTyConKey   coercibleTyCon
 coercibleDataConName = mkWiredInDataConName UserSyntax gHC_TYPES (fsLit "MkCoercible") coercibleDataConKey coercibleDataCon