diff options
| author | Iavor S. Diatchki <iavor.diatchki@gmail.com> | 2013-09-24 06:14:15 -0700 |
|---|---|---|
| committer | Iavor S. Diatchki <iavor.diatchki@gmail.com> | 2013-09-24 06:14:15 -0700 |
| commit | 5cf366975f6917c98e82506c674ca6bb4f11336f (patch) | |
| tree | 660a74a3db07d6d233e43b7dcb243db497954965 /compiler/prelude | |
| parent | e2da02d4f5120d6b6365181e9a20f8af93d0f76d (diff) | |
| download | haskell-5cf366975f6917c98e82506c674ca6bb4f11336f.tar.gz | |
Add a type-function for subtraction.
This is used in the definition of `ToNat1` in the `base` library
(module GHC.TypeLits).
Diffstat (limited to 'compiler/prelude')
| -rw-r--r-- | compiler/prelude/PrelNames.lhs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs index 07730e653d..453f554ef4 100644 --- a/compiler/prelude/PrelNames.lhs +++ b/compiler/prelude/PrelNames.lhs @@ -1465,7 +1465,7 @@ rep1TyConKey = mkPreludeTyConUnique 156 -- Type-level naturals typeNatKindConNameKey, typeSymbolKindConNameKey, typeNatAddTyFamNameKey, typeNatMulTyFamNameKey, typeNatExpTyFamNameKey, - typeNatLeqTyFamNameKey + typeNatLeqTyFamNameKey, typeNatSubTyFamNameKey :: Unique typeNatKindConNameKey = mkPreludeTyConUnique 160 typeSymbolKindConNameKey = mkPreludeTyConUnique 161 @@ -1473,6 +1473,7 @@ typeNatAddTyFamNameKey = mkPreludeTyConUnique 162 typeNatMulTyFamNameKey = mkPreludeTyConUnique 163 typeNatExpTyFamNameKey = mkPreludeTyConUnique 164 typeNatLeqTyFamNameKey = mkPreludeTyConUnique 165 +typeNatSubTyFamNameKey = mkPreludeTyConUnique 166 ntTyConKey:: Unique ntTyConKey = mkPreludeTyConUnique 174 |