From 6b9c7b960e134377f50d4558fca56293d1375008 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 5 Sep 2007 15:06:10 +0000
Subject: use an integer instead of a string in GenTypeVar

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

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 71a68e4..71e3d06 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1023,9 +1023,8 @@ 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
+					| TVI_GenTypeVarNumber !Int
+					| TVI_CPSTypeVar !CheatCompiler /* MdM: a pointer to a variable in CleanProverSystem is stored here, using a cast */
 
 ::	TypeVarInfoPtr	:== Ptr TypeVarInfo
 ::	TypeVarHeap 	:== Heap TypeVarInfo
-- 
cgit v1.2.3