aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authorronny2001-07-12 15:27:32 +0000
committerronny2001-07-12 15:27:32 +0000
commite9d77320d373864a19ba1155395a3e4d2a9469cc (patch)
tree3183a88ae1e46993af5926b9516ac5643756e8c3 /frontend
parentmade compilable with Clean 2.0 by introducing a typed local function (diff)
uniqueness attributes in backend
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@542 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
-rw-r--r--frontend/syntax.dcl3
-rw-r--r--frontend/syntax.icl2
2 files changed, 3 insertions, 2 deletions
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