[commit: ghc] type-nats: Add names for types/functions for unary of type-level nats. (80edd5a)
Iavor Diatchki <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/80edd5acfac71075ddaaa8112a451788575b8a71 >--------------------------------------------------------------- commit 80edd5acfac71075ddaaa8112a451788575b8a71 Author: Iavor S. Diatchki <[email protected]> Date: Sat Sep 22 11:41:27 2012 -0700 Add names for types/functions for unary of type-level nats. >--------------------------------------------------------------- compiler/prelude/PrelNames.lhs | 12 ++++++++++++ 1 files changed, 12 insertions(+), 0 deletions(-) diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs index acec86c..aa79f87 100644 --- a/compiler/prelude/PrelNames.lhs +++ b/compiler/prelude/PrelNames.lhs @@ -284,6 +284,7 @@ basicKnownKeyNames typeNatAddTyFamName, typeNatMulTyFamName, typeNatExpTyFamName, + fromNat1TyFamName, -- Implicit parameters ipClassName, @@ -1092,6 +1093,9 @@ typeNatAddTyFamName = tcQual gHC_TYPELITS (fsLit "+") typeNatAddTyFamNameKey typeNatMulTyFamName = tcQual gHC_TYPELITS (fsLit "*") typeNatMulTyFamNameKey typeNatExpTyFamName = tcQual gHC_TYPELITS (fsLit "^") typeNatExpTyFamNameKey +fromNat1TyFamName :: Name +fromNat1TyFamName = tcQual gHC_TYPELITS (fsLit "FromNat1") fromNat1TyFamNameKey + -- Implicit parameters ipClassName :: Name ipClassName = clsQual gHC_IP (fsLit "IP") ipClassNameKey @@ -1413,6 +1417,10 @@ typeNatAddTyFamNameKey = mkPreludeTyConUnique 163 typeNatMulTyFamNameKey = mkPreludeTyConUnique 164 typeNatExpTyFamNameKey = mkPreludeTyConUnique 165 +nat1TyConKey, fromNat1TyFamNameKey :: Unique +nat1TyConKey = mkPreludeTyConUnique 166 +fromNat1TyFamNameKey = mkPreludeTyConUnique 167 + ---------------- Template Haskell ------------------- -- USES TyConUniques 200-299 ----------------------------------------------------- @@ -1471,6 +1479,10 @@ gtDataConKey = mkPreludeDataConUnique 29 integerGmpSDataConKey, integerGmpJDataConKey :: Unique integerGmpSDataConKey = mkPreludeDataConUnique 30 integerGmpJDataConKey = mkPreludeDataConUnique 31 + +zeroDataConKey, succDataConKey :: Unique +zeroDataConKey = mkPreludeDataConUnique 40 +succDataConKey = mkPreludeDataConUnique 41 \end{code} %************************************************************************