From 351b45a61c5684e422c1de824900c279ff40875a Mon Sep 17 00:00:00 2001
From: martijnv
Date: Wed, 28 Mar 2001 12:54:51 +0000
Subject: added TVI_Normalized

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@348 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.dcl | 1 +
 frontend/syntax.icl | 1 +
 2 files changed, 2 insertions(+)

(limited to 'frontend')

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
-- 
cgit v1.2.3