X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fprelude%2FPrelNames.lhs;h=03a96927c278040260eb55ce2d3048467460a314;hp=5d61075ecd483c57abd3ee86ed51aec2fe4ea802;hb=9da4639011348fb6c318e3cba4b08622f811d9c4;hpb=61d2625ae2e6a4cdae2ffc92df828905e81c24cc

diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs
index 5d61075..03a9692 100644
--- a/compiler/prelude/PrelNames.lhs
+++ b/compiler/prelude/PrelNames.lhs
@@ -192,9 +192,6 @@ basicKnownKeyNames
 	-- MonadFix
 	monadFixClassName, mfixName,
 
-	-- Splittable class
-	splittableClassName, splitName,
-
 	-- Other classes
 	randomClassName, randomGenClassName, monadPlusClassName,
 
@@ -627,10 +624,6 @@ newStablePtrName      = varQual  gHC_STABLE FSLIT("newStablePtr") newStablePtrId
 -- PrelST module
 runSTRepName	   = varQual gHC_ST  FSLIT("runSTRep") runSTRepIdKey
 
--- The "split" Id for splittable implicit parameters
-splittableClassName = clsQual gLA_EXTS FSLIT("Splittable") splittableClassKey
-splitName           = methName splittableClassName FSLIT("split") splitIdKey
-
 -- Recursive-do notation
 monadFixClassName  = clsQual mONAD_FIX FSLIT("MonadFix") monadFixClassKey
 mfixName	   = methName monadFixClassName FSLIT("mfix") mfixIdKey
@@ -723,7 +716,6 @@ typeable6ClassKey	= mkPreludeClassUnique 26
 typeable7ClassKey	= mkPreludeClassUnique 27
 
 monadFixClassKey	= mkPreludeClassUnique 28
-splittableClassKey	= mkPreludeClassUnique 29
 
 monadPlusClassKey	= mkPreludeClassUnique 30
 randomClassKey		= mkPreludeClassUnique 31
@@ -807,6 +799,26 @@ 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
+
+-- 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
 -----------------------------------------------------
@@ -901,7 +913,6 @@ printIdKey		      = mkPreludeMiscIdUnique 43
 failIOIdKey		      = mkPreludeMiscIdUnique 44
 nullAddrIdKey		      = mkPreludeMiscIdUnique 46
 voidArgIdKey		      = mkPreludeMiscIdUnique 47
-splitIdKey		      = mkPreludeMiscIdUnique 48
 fstIdKey		      = mkPreludeMiscIdUnique 49
 sndIdKey		      = mkPreludeMiscIdUnique 50
 otherwiseIdKey		      = mkPreludeMiscIdUnique 51