X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fprelude%2FPrelNames.lhs;h=a1fba28c863da5eb7dec0f5e9cd3c023e1f1b147;hp=5d61075ecd483c57abd3ee86ed51aec2fe4ea802;hb=8e2c0b76cd426ae794bd0ff046b95c437cef6e4a;hpb=819d8189dddeb05e881bc641f0a6ab2cd14ee1ad

diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs
index 5d61075..a1fba28 100644
--- a/compiler/prelude/PrelNames.lhs
+++ b/compiler/prelude/PrelNames.lhs
@@ -807,6 +807,28 @@ objectTyConKey				= mkPreludeTyConUnique 83
 
 eitherTyConKey				= mkPreludeTyConUnique 84
 
+-- Super Kinds constructors
+tySuperKindTyConKey                    = mkPreludeTyConUnique 85
+coSuperKindTyConKey                = mkPreludeTyConUnique 86
+
+-- Kind constructors
+liftedTypeKindTyConKey                  = mkPreludeTyConUnique 87
+openTypeKindTyConKey                    = mkPreludeTyConUnique 88
+unliftedTypeKindTyConKey                = mkPreludeTyConUnique 89
+ubxTupleKindTyConKey                    = mkPreludeTyConUnique 90
+argTypeKindTyConKey                     = mkPreludeTyConUnique 91
+
+eqCoercionKindTyConKey                    = mkPreludeTyConUnique 92
+
+-- Coercion constructors
+symCoercionTyConKey                     = mkPreludeTyConUnique 93
+transCoercionTyConKey                   = mkPreludeTyConUnique 94
+leftCoercionTyConKey                    = mkPreludeTyConUnique 95
+rightCoercionTyConKey                   = mkPreludeTyConUnique 96
+instCoercionTyConKey                    = mkPreludeTyConUnique 97
+unsafeCoercionTyConKey                  = mkPreludeTyConUnique 98
+
+
 ---------------- Template Haskell -------------------
 --	USES TyConUniques 100-129
 -----------------------------------------------------