[commit: ghc] master: Another reference to Note [Kind-changing of (~) and Coercible] (d53ccab)

[git at git.haskell.org]

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

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

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

commit d53ccab6ab32df38c0c226dea51f702f20d4feb3
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Mar 14 12:26:26 2014 +0100

    Another reference to Note [Kind-changing of (~) and Coercible]


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

d53ccab6ab32df38c0c226dea51f702f20d4feb3
 compiler/prelude/PrelInfo.lhs |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/compiler/prelude/PrelInfo.lhs b/compiler/prelude/PrelInfo.lhs
index bfcea1c..ca156ee 100644
--- a/compiler/prelude/PrelInfo.lhs
+++ b/compiler/prelude/PrelInfo.lhs
@@ -124,6 +124,8 @@ primOpId op = primOpIds ! primOpTag op
 GHC.Prim "exports" all the primops and primitive types, some
 wired-in Ids.
 
+See Note [Kind-changing of (~) and Coerciblea] for why we export coercibleTyCon here.
+
 \begin{code}
 ghcPrimExports :: [IfaceExport]
 ghcPrimExports
@@ -134,6 +136,7 @@ ghcPrimExports
 \end{code}
 
 
+
 %************************************************************************
 %*									*
 \subsection{Built-in keys}