diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2021-03-14 19:45:51 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-17 19:09:40 -0400 |
| commit | 302854154626ef10363afdda3ff1db7160e0827f (patch) | |
| tree | 2d438461f8a7452797dc626eb0ba6cdb8b194b61 /compiler/GHC/Builtin/Names.hs | |
| parent | 26d26974f5d16a3b2c6ec84a739caab10c7d2b07 (diff) | |
| download | haskell-302854154626ef10363afdda3ff1db7160e0827f.tar.gz | |
Built-in type families: CharToNat, NatToChar (#19535)
Co-authored-by: Daniel Rogozin <daniel.rogozin@serokell.io>
Co-authored-by: Rinat Stryungis <rinat.stryungis@serokell.io>
Diffstat (limited to 'compiler/GHC/Builtin/Names.hs')
| -rw-r--r-- | compiler/GHC/Builtin/Names.hs | 63 |
1 files changed, 32 insertions, 31 deletions
diff --git a/compiler/GHC/Builtin/Names.hs b/compiler/GHC/Builtin/Names.hs index 4779ca8de2..ec8d5a0afc 100644 --- a/compiler/GHC/Builtin/Names.hs +++ b/compiler/GHC/Builtin/Names.hs @@ -2000,41 +2000,10 @@ uFloatTyConKey = mkPreludeTyConUnique 161 uIntTyConKey = mkPreludeTyConUnique 162 uWordTyConKey = mkPreludeTyConUnique 163 --- Type-level naturals -typeSymbolKindConNameKey, typeCharKindConNameKey, - typeNatAddTyFamNameKey, typeNatMulTyFamNameKey, typeNatExpTyFamNameKey, - typeNatSubTyFamNameKey - , typeSymbolCmpTyFamNameKey, typeNatCmpTyFamNameKey, typeCharCmpTyFamNameKey - , typeLeqCharTyFamNameKey - , typeNatDivTyFamNameKey - , typeNatModTyFamNameKey - , typeNatLogTyFamNameKey - , typeConsSymbolTyFamNameKey, typeUnconsSymbolTyFamNameKey - :: Unique -typeSymbolKindConNameKey = mkPreludeTyConUnique 165 -typeCharKindConNameKey = mkPreludeTyConUnique 166 -typeNatAddTyFamNameKey = mkPreludeTyConUnique 167 -typeNatMulTyFamNameKey = mkPreludeTyConUnique 168 -typeNatExpTyFamNameKey = mkPreludeTyConUnique 169 -typeNatSubTyFamNameKey = mkPreludeTyConUnique 171 -typeSymbolCmpTyFamNameKey = mkPreludeTyConUnique 172 -typeNatCmpTyFamNameKey = mkPreludeTyConUnique 173 -typeCharCmpTyFamNameKey = mkPreludeTyConUnique 174 -typeLeqCharTyFamNameKey = mkPreludeTyConUnique 175 -typeNatDivTyFamNameKey = mkPreludeTyConUnique 176 -typeNatModTyFamNameKey = mkPreludeTyConUnique 177 -typeNatLogTyFamNameKey = mkPreludeTyConUnique 178 -typeConsSymbolTyFamNameKey = mkPreludeTyConUnique 179 -typeUnconsSymbolTyFamNameKey = mkPreludeTyConUnique 180 - -- Custom user type-errors errorMessageTypeErrorFamKey :: Unique errorMessageTypeErrorFamKey = mkPreludeTyConUnique 181 - - -ntTyConKey:: Unique -ntTyConKey = mkPreludeTyConUnique 182 coercibleTyConKey :: Unique coercibleTyConKey = mkPreludeTyConUnique 183 @@ -2093,6 +2062,38 @@ multMulTyConKey = mkPreludeTyConUnique 199 #include "primop-vector-uniques.hs-incl" +------------- Type-level Symbol, Nat, Char ---------- +-- USES TyConUniques 400-499 +----------------------------------------------------- +typeSymbolKindConNameKey, typeCharKindConNameKey, + typeNatAddTyFamNameKey, typeNatMulTyFamNameKey, typeNatExpTyFamNameKey, + typeNatSubTyFamNameKey + , typeSymbolCmpTyFamNameKey, typeNatCmpTyFamNameKey, typeCharCmpTyFamNameKey + , typeLeqCharTyFamNameKey + , typeNatDivTyFamNameKey + , typeNatModTyFamNameKey + , typeNatLogTyFamNameKey + , typeConsSymbolTyFamNameKey, typeUnconsSymbolTyFamNameKey + , typeCharToNatTyFamNameKey, typeNatToCharTyFamNameKey + :: Unique +typeSymbolKindConNameKey = mkPreludeTyConUnique 400 +typeCharKindConNameKey = mkPreludeTyConUnique 401 +typeNatAddTyFamNameKey = mkPreludeTyConUnique 402 +typeNatMulTyFamNameKey = mkPreludeTyConUnique 403 +typeNatExpTyFamNameKey = mkPreludeTyConUnique 404 +typeNatSubTyFamNameKey = mkPreludeTyConUnique 405 +typeSymbolCmpTyFamNameKey = mkPreludeTyConUnique 406 +typeNatCmpTyFamNameKey = mkPreludeTyConUnique 407 +typeCharCmpTyFamNameKey = mkPreludeTyConUnique 408 +typeLeqCharTyFamNameKey = mkPreludeTyConUnique 409 +typeNatDivTyFamNameKey = mkPreludeTyConUnique 410 +typeNatModTyFamNameKey = mkPreludeTyConUnique 411 +typeNatLogTyFamNameKey = mkPreludeTyConUnique 412 +typeConsSymbolTyFamNameKey = mkPreludeTyConUnique 413 +typeUnconsSymbolTyFamNameKey = mkPreludeTyConUnique 414 +typeCharToNatTyFamNameKey = mkPreludeTyConUnique 415 +typeNatToCharTyFamNameKey = mkPreludeTyConUnique 416 + {- ************************************************************************ * * |