diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2014-03-14 12:26:26 +0100 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-03-14 12:26:26 +0100 |
| commit | d53ccab6ab32df38c0c226dea51f702f20d4feb3 (patch) | |
| tree | a0c9a16104d583b4159088763084024ff7f6424b | |
| parent | 4133ff86cbeefedf51f5ec963a06665e35fc68dd (diff) | |
| download | haskell-d53ccab6ab32df38c0c226dea51f702f20d4feb3.tar.gz | |
Another reference to Note [Kind-changing of (~) and Coercible]
| -rw-r--r-- | compiler/prelude/PrelInfo.lhs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/prelude/PrelInfo.lhs b/compiler/prelude/PrelInfo.lhs index bfcea1c039..ca156ee694 100644 --- a/compiler/prelude/PrelInfo.lhs +++ b/compiler/prelude/PrelInfo.lhs @@ -121,9 +121,11 @@ primOpId op = primOpIds ! primOpTag op %* * %************************************************************************ -GHC.Prim "exports" all the primops and primitive types, some +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} |