From 768e35f9e2cdc75905b6b56927cf042820480b6a Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 17 Jul 2006 12:59:40 +0000
Subject: fix bug in anonymizeAttrVars, the previous algorithm replaced
 attribute variables occuring before different type variables by a '.'.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1604 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.dcl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index d7b5a11..bed2d9c 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -964,7 +964,12 @@ cNonRecursiveAppl	:== False
 					| AVI_Forward !TempAttrId 
 					| AVI_CorrespondenceNumber !Int /* auxiliary used in module comparedefimp */
 					| AVI_Used
-					| AVI_Count !Int /* auxiliary used in module typesupport */
+					/* auxiliary constructors used in anonymizeAttrVars in module typesupport: */
+					| AVI_CountZero
+					| AVI_CountOne
+					| AVI_CountMany
+					| AVI_CountVar !TypeVarInfoPtr
+					/* */
 					| AVI_SequenceNumber !Int // RWS
 					| AVI_Collected // RWS
 
-- 
cgit v1.2.3