diff options
| author | martijnv | 2001-03-28 12:54:51 +0000 |
|---|---|---|
| committer | martijnv | 2001-03-28 12:54:51 +0000 |
| commit | 351b45a61c5684e422c1de824900c279ff40875a (patch) | |
| tree | 8af24e8fa430fc4bb8ef7664ccef0a58e3b0a286 /frontend | |
| parent | minor changes to files associated with dynamics. Most notably is the (diff) | |
added TVI_Normalized
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@348 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/syntax.dcl | 1 | ||||
| -rw-r--r-- | frontend/syntax.icl | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index d63f836..4579a4b 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -865,6 +865,7 @@ cNonRecursiveAppl :== False | TVI_Used /* to administer that this variable is encountered (in checkOpenTypes) */ | TVI_TypeCode !TypeCodeExpression | TVI_CPSLocalTypeVar !Int /* MdM - the index of the variable as generated by the theorem prover */ + | TVI_Normalized !Int /* MV - position of type variable in its definition */ :: TypeVarInfoPtr :== Ptr TypeVarInfo :: TypeVarHeap :== Heap TypeVarInfo diff --git a/frontend/syntax.icl b/frontend/syntax.icl index 7859e21..2964ebd 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -835,6 +835,7 @@ cNotVarNumber :== -1 | TVI_Used /* to adminster that this variable is encountered (in checkOpenTypes) */ | TVI_TypeCode !TypeCodeExpression | TVI_CPSLocalTypeVar !Int /* MdM - the index of the variable as generated by the theorem prover */ + | TVI_Normalized !Int /* MV - position of type variable in its definition */ :: TypeVarInfoPtr :== Ptr TypeVarInfo :: TypeVarHeap :== Heap TypeVarInfo |