Commit 0d197643 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-03-09 10:56:09 by simonpj]

Add missing provenance for mfix; pls merge
parent 44644ebe
...@@ -188,7 +188,13 @@ basicKnownKeyNames ...@@ -188,7 +188,13 @@ basicKnownKeyNames
otherwiseIdName, otherwiseIdName,
plusIntegerName, timesIntegerName, plusIntegerName, timesIntegerName,
eqStringName, assertName, assertErrorName, runSTRepName, eqStringName, assertName, assertErrorName, runSTRepName,
printName, splitName, fstName, sndName, printName, fstName, sndName,
-- MonadFix
monadFixClassName, mfixName,
-- Splittable class
splittableClassName, splitName,
-- Booleans -- Booleans
andName, orName andName, orName
...@@ -601,10 +607,12 @@ newStablePtrName = varQual pREL_STABLE FSLIT("newStablePtr") newStablePtrI ...@@ -601,10 +607,12 @@ newStablePtrName = varQual pREL_STABLE FSLIT("newStablePtr") newStablePtrI
runSTRepName = varQual pREL_ST FSLIT("runSTRep") runSTRepIdKey runSTRepName = varQual pREL_ST FSLIT("runSTRep") runSTRepIdKey
-- The "split" Id for splittable implicit parameters -- 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 -- 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 -- Arrow notation
arrAName = varQual aRROW FSLIT("arr") arrAIdKey arrAName = varQual aRROW FSLIT("arr") arrAIdKey
...@@ -687,6 +695,9 @@ typeable4ClassKey = mkPreludeClassUnique 24 ...@@ -687,6 +695,9 @@ typeable4ClassKey = mkPreludeClassUnique 24
typeable5ClassKey = mkPreludeClassUnique 25 typeable5ClassKey = mkPreludeClassUnique 25
typeable6ClassKey = mkPreludeClassUnique 26 typeable6ClassKey = mkPreludeClassUnique 26
typeable7ClassKey = mkPreludeClassUnique 27 typeable7ClassKey = mkPreludeClassUnique 27
monadFixClassKey = mkPreludeClassUnique 28
splittableClassKey = mkPreludeClassUnique 29
\end{code} \end{code}
%************************************************************************ %************************************************************************
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment