X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fprelude%2FPrelNames.lhs;h=35c828f6192a2c78687001802ed6c8b67e00d835;hb=90dc9026b091be5cca5da4c6cbd3713ecc493361;hp=9ff85fa58700283c0f3af49b156124538c1b30a1;hpb=c128930dc98c73e2459a4610539fee73ca941247;p=ghc-hetmet.git

diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs
index 9ff85fa..35c828f 100644
--- a/compiler/prelude/PrelNames.lhs
+++ b/compiler/prelude/PrelNames.lhs
@@ -109,6 +109,7 @@ basicKnownKeyNames
 	runMainIOName,
 	orderingTyConName,
 	rationalTyConName,
+	stringTyConName,
 	ratioDataConName,
 	ratioTyConName,
 	integerTyConName, smallIntegerDataConName, largeIntegerDataConName,
@@ -130,11 +131,15 @@ basicKnownKeyNames
 	realFracClassName,		-- numeric
 	realFloatClassName,		-- numeric
 	dataClassName, 
+	isStringClassName,
 
 	-- Numeric stuff
 	negateName, minusName, 
 	fromRationalName, fromIntegerName, 
 	geName, eqName, 
+
+        -- String stuff
+        fromStringName,
 	
 	-- Enum stuff
 	enumFromName, enumFromThenName,	
@@ -186,6 +191,8 @@ basicKnownKeyNames
 	otherwiseIdName, 
 	plusIntegerName, timesIntegerName,
 	eqStringName, assertName, breakpointName, breakpointCondName,
+        breakpointAutoName,  opaqueTyConName, unknownTyConName, 
+        unknown1TyConName, unknown2TyConName, unknown3TyConName,
         assertErrorName, runSTRepName,
 	printName, fstName, sndName,
 
@@ -370,6 +377,8 @@ minus_RDR		= nameRdrName minusName
 times_RDR		= varQual_RDR  gHC_NUM FSLIT("*")
 plus_RDR                = varQual_RDR gHC_NUM FSLIT("+")
 
+fromString_RDR		= nameRdrName fromStringName
+
 compose_RDR		= varQual_RDR gHC_BASE FSLIT(".")
 
 not_RDR 		= varQual_RDR gHC_BASE FSLIT("not")
@@ -461,6 +470,7 @@ unpackCStringAppendName = varQual gHC_BASE FSLIT("unpackAppendCString#") unpackC
 unpackCStringFoldrName  = varQual gHC_BASE FSLIT("unpackFoldrCString#") unpackCStringFoldrIdKey
 unpackCStringUtf8Name   = varQual gHC_BASE FSLIT("unpackCStringUtf8#") unpackCStringUtf8IdKey
 eqStringName	 	= varQual gHC_BASE FSLIT("eqString")  eqStringIdKey
+stringTyConName         = tcQual  gHC_BASE FSLIT("String") stringTyConKey
 
 -- The 'inline' function
 inlineIdName	 	= varQual gHC_BASE FSLIT("inline") inlineIdKey
@@ -480,16 +490,24 @@ returnMName	   = methName gHC_BASE FSLIT("return") returnMClassOpKey
 failMName	   = methName gHC_BASE FSLIT("fail")   failMClassOpKey
 
 -- Random PrelBase functions
+fromStringName    = methName gHC_BASE FSLIT("fromString") fromStringClassOpKey
 otherwiseIdName   = varQual gHC_BASE FSLIT("otherwise")  otherwiseIdKey
 foldrName	  = varQual gHC_BASE FSLIT("foldr")      foldrIdKey
 buildName	  = varQual gHC_BASE FSLIT("build")      buildIdKey
 augmentName	  = varQual gHC_BASE FSLIT("augment")    augmentIdKey
 appendName	  = varQual gHC_BASE FSLIT("++")         appendIdKey
-andName		  = varQual gHC_BASE FSLIT("&&")	  andIdKey
-orName		  = varQual gHC_BASE FSLIT("||")	  orIdKey
+andName		  = varQual gHC_BASE FSLIT("&&")	 andIdKey
+orName		  = varQual gHC_BASE FSLIT("||")	 orIdKey
 assertName        = varQual gHC_BASE FSLIT("assert")     assertIdKey
 breakpointName    = varQual gHC_BASE FSLIT("breakpoint") breakpointIdKey
 breakpointCondName= varQual gHC_BASE FSLIT("breakpointCond") breakpointCondIdKey
+breakpointAutoName= varQual gHC_BASE FSLIT("breakpointAuto") breakpointAutoIdKey
+unknownTyConName  = tcQual  gHC_BASE FSLIT("Unknown") unknownTyConKey
+unknown1TyConName = tcQual  gHC_BASE FSLIT("Unknown1") unknown1TyConKey
+unknown2TyConName = tcQual  gHC_BASE FSLIT("Unknown2") unknown2TyConKey
+unknown3TyConName = tcQual  gHC_BASE FSLIT("Unknown3") unknown3TyConKey
+opaqueTyConName   = tcQual  gHC_BASE FSLIT("Opaque")   opaqueTyConKey
+
 breakpointJumpName
     = mkInternalName
         breakpointJumpIdKey
@@ -500,6 +518,11 @@ breakpointCondJumpName
         breakpointCondJumpIdKey
         (mkOccNameFS varName FSLIT("breakpointCondJump"))
         noSrcLoc
+breakpointAutoJumpName
+    = mkInternalName
+        breakpointAutoJumpIdKey
+        (mkOccNameFS varName FSLIT("breakpointAutoJump"))
+        noSrcLoc
 
 -- PrelTup
 fstName		  = varQual dATA_TUP FSLIT("fst") fstIdKey
@@ -640,6 +663,7 @@ loopAName	   = varQual aRROW FSLIT("loop")  loopAIdKey
 monadPlusClassName  = clsQual mONAD FSLIT("MonadPlus")  monadPlusClassKey
 randomClassName     = clsQual rANDOM FSLIT("Random")    randomClassKey
 randomGenClassName  = clsQual rANDOM FSLIT("RandomGen") randomGenClassKey
+isStringClassName   = clsQual gHC_BASE FSLIT("IsString") isStringClassKey
 
 -- dotnet interop
 objectTyConName	    = tcQual   dOTNET FSLIT("Object") objectTyConKey
@@ -717,6 +741,8 @@ monadFixClassKey	= mkPreludeClassUnique 28
 monadPlusClassKey	= mkPreludeClassUnique 30
 randomClassKey		= mkPreludeClassUnique 31
 randomGenClassKey	= mkPreludeClassUnique 32
+
+isStringClassKey	= mkPreludeClassUnique 33
 \end{code}
 
 %************************************************************************
@@ -819,6 +845,14 @@ rightCoercionTyConKey                   = mkPreludeTyConUnique 96
 instCoercionTyConKey                    = mkPreludeTyConUnique 97
 unsafeCoercionTyConKey                  = mkPreludeTyConUnique 98
 
+unknownTyConKey				= mkPreludeTyConUnique 99
+unknown1TyConKey			= mkPreludeTyConUnique 130
+unknown2TyConKey			= mkPreludeTyConUnique 131
+unknown3TyConKey			= mkPreludeTyConUnique 132
+opaqueTyConKey                          = mkPreludeTyConUnique 133
+
+stringTyConKey				= mkPreludeTyConUnique 134
+
 
 ---------------- Template Haskell -------------------
 --	USES TyConUniques 100-129
@@ -931,10 +965,12 @@ assertErrorIdKey	      = mkPreludeMiscIdUnique 61
 
 breakpointIdKey               = mkPreludeMiscIdUnique 62
 breakpointCondIdKey           = mkPreludeMiscIdUnique 63
-breakpointJumpIdKey           = mkPreludeMiscIdUnique 64
-breakpointCondJumpIdKey       = mkPreludeMiscIdUnique 65
+breakpointAutoIdKey           = mkPreludeMiscIdUnique 64
+breakpointJumpIdKey           = mkPreludeMiscIdUnique 65
+breakpointCondJumpIdKey       = mkPreludeMiscIdUnique 66
+breakpointAutoJumpIdKey       = mkPreludeMiscIdUnique 67
 
-inlineIdKey		      = mkPreludeMiscIdUnique 66
+inlineIdKey		      = mkPreludeMiscIdUnique 68
 
 -- Parallel array functions
 nullPIdKey	              = mkPreludeMiscIdUnique 80
@@ -995,6 +1031,8 @@ appAIdKey	= mkPreludeMiscIdUnique 122
 choiceAIdKey	= mkPreludeMiscIdUnique 123 --  |||
 loopAIdKey	= mkPreludeMiscIdUnique 124
 
+fromStringClassOpKey	      = mkPreludeMiscIdUnique 125
+
 ---------------- Template Haskell -------------------
 --	USES IdUniques 200-399
 -----------------------------------------------------
@@ -1054,7 +1092,9 @@ needsDataDeclCtxtClassKeys = -- see comments in TcDeriv
 standardClassKeys = derivableClassKeys ++ numericClassKeys
 		  ++ [randomClassKey, randomGenClassKey,
 		      functorClassKey, 
-		      monadClassKey, monadPlusClassKey]
+		      monadClassKey, monadPlusClassKey,
+		      isStringClassKey
+		     ]
 \end{code}
 
 @derivableClassKeys@ is also used in checking \tr{deriving} constructs