From 0d197643ea29ae54ed91e51fc890893b2ae5e16c Mon Sep 17 00:00:00 2001 From: simonpj Date: Wed, 9 Mar 2005 10:56:09 +0000 Subject: [PATCH] [project @ 2005-03-09 10:56:09 by simonpj] Add missing provenance for mfix; pls merge --- ghc/compiler/prelude/PrelNames.lhs | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/ghc/compiler/prelude/PrelNames.lhs b/ghc/compiler/prelude/PrelNames.lhs index 2be6f8a..69d924f 100644 --- a/ghc/compiler/prelude/PrelNames.lhs +++ b/ghc/compiler/prelude/PrelNames.lhs @@ -188,7 +188,13 @@ basicKnownKeyNames otherwiseIdName, plusIntegerName, timesIntegerName, eqStringName, assertName, assertErrorName, runSTRepName, - printName, splitName, fstName, sndName, + printName, fstName, sndName, + + -- MonadFix + monadFixClassName, mfixName, + + -- Splittable class + splittableClassName, splitName, -- Booleans andName, orName @@ -601,10 +607,12 @@ newStablePtrName = varQual pREL_STABLE FSLIT("newStablePtr") newStablePtrI runSTRepName = varQual pREL_ST FSLIT("runSTRep") runSTRepIdKey -- The "split" Id for splittable implicit parameters -splitName = varQual gLA_EXTS FSLIT("split") splitIdKey +splittableClassName = clsQual gLA_EXTS FSLIT("Splittable") splittableClassKey +splitName = methName splittableClassName FSLIT("split") splitIdKey -- Recursive-do notation -mfixName = varQual mONAD_FIX FSLIT("mfix") mfixIdKey +monadFixClassName = clsQual mONAD_FIX FSLIT("MonadFix") monadFixClassKey +mfixName = methName monadFixClassName FSLIT("mfix") mfixIdKey -- Arrow notation arrAName = varQual aRROW FSLIT("arr") arrAIdKey @@ -687,6 +695,9 @@ typeable4ClassKey = mkPreludeClassUnique 24 typeable5ClassKey = mkPreludeClassUnique 25 typeable6ClassKey = mkPreludeClassUnique 26 typeable7ClassKey = mkPreludeClassUnique 27 + +monadFixClassKey = mkPreludeClassUnique 28 +splittableClassKey = mkPreludeClassUnique 29 \end{code} %************************************************************************ -- 1.7.10.4