diff options
| author | Iavor S. Diatchki <diatchki@galois.com> | 2012-05-24 14:33:10 -0700 |
|---|---|---|
| committer | Iavor S. Diatchki <diatchki@galois.com> | 2012-05-24 14:33:10 -0700 |
| commit | 0eb3bb339846d45d5efe68e8811c188c23ef16bf (patch) | |
| tree | 994101e85fb806b1a19aa333c7522bd4f09d159f | |
| parent | 634fb8d3b569276504be317783ade54508633b10 (diff) | |
| download | haskell-0eb3bb339846d45d5efe68e8811c188c23ef16bf.tar.gz | |
Add references to the implicit parameter class in the GHC.IP
| -rw-r--r-- | compiler/prelude/PrelNames.lhs | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs index bc76c77b98..499313935d 100644 --- a/compiler/prelude/PrelNames.lhs +++ b/compiler/prelude/PrelNames.lhs @@ -282,6 +282,9 @@ basicKnownKeyNames typeNatMulTyFamName, typeNatExpTyFamName, + -- Implicit parameters + ipClassName, ipClassOpName, + -- Annotation type checking toAnnotationWrapperName @@ -345,7 +348,7 @@ gHC_PRIM, gHC_TYPES, gHC_GENERICS, gHC_FLOAT, gHC_TOP_HANDLER, sYSTEM_IO, dYNAMIC, tYPEABLE, tYPEABLE_INTERNAL, gENERICS, dOTNET, rEAD_PREC, lEX, gHC_INT, gHC_WORD, mONAD, mONAD_FIX, mONAD_ZIP, aRROW, cONTROL_APPLICATIVE, gHC_DESUGAR, rANDOM, gHC_EXTS, - cONTROL_EXCEPTION_BASE, gHC_TYPELITS :: Module + cONTROL_EXCEPTION_BASE, gHC_TYPELITS, gHC_IP :: Module gHC_PRIM = mkPrimModule (fsLit "GHC.Prim") -- Primitive types and values gHC_TYPES = mkPrimModule (fsLit "GHC.Types") @@ -399,6 +402,7 @@ rANDOM = mkBaseModule (fsLit "System.Random") gHC_EXTS = mkBaseModule (fsLit "GHC.Exts") cONTROL_EXCEPTION_BASE = mkBaseModule (fsLit "Control.Exception.Base") gHC_TYPELITS = mkBaseModule (fsLit "GHC.TypeLits") +gHC_IP = mkBaseModule (fsLit "GHC.IP") gHC_PARR' :: Module gHC_PARR' = mkBaseModule (fsLit "GHC.PArr") @@ -1071,6 +1075,14 @@ typeNatAddTyFamName = tcQual gHC_TYPELITS (fsLit "+") typeNatAddTyFamNameKey typeNatMulTyFamName = tcQual gHC_TYPELITS (fsLit "*") typeNatMulTyFamNameKey typeNatExpTyFamName = tcQual gHC_TYPELITS (fsLit "^") typeNatExpTyFamNameKey +-- Implicit parameters +ipClassName :: Name +ipClassName = clsQual gHC_IP (fsLit "IP") ipClassNameKey + +ipClassOpName :: Name +ipClassOpName = methName gHC_IP (fsLit "ipValue") ipClassOpKey + + -- dotnet interop objectTyConName :: Name objectTyConName = tcQual dOTNET (fsLit "Object") objectTyConKey @@ -1191,6 +1203,9 @@ typeNatLeqClassNameKey = mkPreludeClassUnique 43 ghciIoClassKey :: Unique ghciIoClassKey = mkPreludeClassUnique 44 + +ipClassNameKey :: Unique +ipClassNameKey = mkPreludeClassUnique 45 \end{code} %************************************************************************ @@ -1663,6 +1678,11 @@ mzipIdKey = mkPreludeMiscIdUnique 196 ghciStepIoMClassOpKey :: Unique ghciStepIoMClassOpKey = mkPreludeMiscIdUnique 197 +-- Implicit parameters +ipClassOpKey :: Unique +ipClassOpKey = mkPreludeMiscIdUnique 198 + + ---------------- Template Haskell ------------------- -- USES IdUniques 200-499 |