From e9d77320d373864a19ba1155395a3e4d2a9469cc Mon Sep 17 00:00:00 2001
From: ronny
Date: Thu, 12 Jul 2001 15:27:32 +0000
Subject: uniqueness attributes in backend

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

(limited to 'frontend')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 107a1f3..d4253bd 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -884,7 +884,8 @@ cNonRecursiveAppl	:== False
 					| AVI_CorrespondenceNumber !Int /* auxiliary used in module comparedefimp */
 					| AVI_Used
 					| AVI_Count !Int /* auxiliary used in module typesupport */
-					
+					| AVI_SequenceNumber !Int // RWS
+
 ::	AttrVarInfoPtr	:== Ptr AttrVarInfo
 ::	AttrVarHeap 	:== Heap AttrVarInfo
 
diff --git a/frontend/syntax.icl b/frontend/syntax.icl
index f6900f9..be57141 100644
--- a/frontend/syntax.icl
+++ b/frontend/syntax.icl
@@ -857,7 +857,7 @@ cNotVarNumber :== -1
 					| AVI_CorrespondenceNumber !Int /* auxiliary used in module comparedefimp */
 					| AVI_Used
 					| AVI_Count !Int /* auxiliary used in module typesupport */
-					
+					| AVI_SequenceNumber !Int // RWS
 
 ::	AttrVarInfoPtr	:== Ptr AttrVarInfo
 ::	AttrVarHeap 	:== Heap AttrVarInfo
-- 
cgit v1.2.3