diff options
| author | ronny | 2003-10-07 07:11:09 +0000 |
|---|---|---|
| committer | ronny | 2003-10-07 07:11:09 +0000 |
| commit | 470ea5f597bbfecdbef8f8e743212c7e5df25c66 (patch) | |
| tree | 43a160024858d05a1c49fd09a1b89c0a5ef95ab8 /frontend/syntax.dcl | |
| parent | increase version number to 919 for Clean 2.1 (diff) | |
isolate Index type for compatability with Sparkle source tree
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1384 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 0cb99d9..68f7380 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -3,6 +3,7 @@ definition module syntax import StdEnv import scanner, general, typeproperties, Heap +import IndexType :: Ident = { id_name :: !String @@ -135,7 +136,6 @@ instance == FunctionOrMacroIndex ali_instances_range :: !IndexRange } -:: Index :== Int NoIndex :== -1 @@ -632,7 +632,7 @@ from convertDynamics import :: TypeCodeVariableInfo, :: DynamicValueAliasInfo VI_Extended !ExtendedVarInfo !VarInfo | VI_Defined /* for marking type code variables during overloading */ | VI_LocallyDefined | // MdM - VI_CPSLocalExprVar !Int /* MdM - the index of the variable as generated by the theorem prover */ + VI_CPSExprVar !CheatCompiler /* a pointer to a variable in CleanProverSystem is stored here, using a cast */ // ... MdM | VI_Labelled_Empty {#Char} // RWS debugging | VI_LocalLetVar // RWS, mark Let vars during case transformation @@ -948,7 +948,10 @@ cNonRecursiveAppl :== False | TVI_ConsInstance !DefinedSymbol //AA: generic cons instance function | TVI_Normalized !Int /* MV - position of type variable in its definition */ | TVI_Expr !Expression /* AA: Expression corresponding to the type var during generic specialization */ - +// MdM + | TVI_CPSTypeVar !CheatCompiler /* a pointer to a variable in CleanProverSystem is stored here, using a cast */ +// ... MdM + :: TypeVarInfoPtr :== Ptr TypeVarInfo :: TypeVarHeap :== Heap TypeVarInfo |