diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2014-03-14 11:28:48 +0100 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-03-14 11:29:39 +0100 |
| commit | 4133ff86cbeefedf51f5ec963a06665e35fc68dd (patch) | |
| tree | 2d959487e75424badd3aec444edb6aefb7b36d36 | |
| parent | df265b95a2f3640425b43b17993b9ec78a287f60 (diff) | |
| download | haskell-4133ff86cbeefedf51f5ec963a06665e35fc68dd.tar.gz | |
Reference Note [Kind-changing of (~) and Coercible]
| -rw-r--r-- | compiler/prelude/TysWiredIn.lhs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/prelude/TysWiredIn.lhs b/compiler/prelude/TysWiredIn.lhs index bf1907d161..9ecc581ea7 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 |