From ed43105eed9ce791936faf82975409aea86ab8c1 Mon Sep 17 00:00:00 2001
From: sjakie
Date: Wed, 30 Oct 2002 10:30:25 +0000
Subject: Removed at least 4 bugs (maybe more, but i can't remember): better
 check for properties of abstract types, check for linearity of instance
 types, uniqueness bug for type synonyms, kind check for function (arrow)
 types

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

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index af12d3d..d1142ed 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -964,7 +964,7 @@ cNonRecursiveAppl	:== False
 					| TVI_TypeVar !TypeVarInfoPtr // Sjaak: to collect and check universally quantified type variables
 					| TVI_Forward !TempVarId | TVI_TypeKind !KindInfoPtr
 					| TVI_SignClass !Index !SignClassification !TypeVarInfo | TVI_PropClass !Index !PropClassification !TypeVarInfo
-					| TVI_Attribute TypeAttribute
+					| TVI_AttrAndRefCount !TypeAttribute !Int
 					| TVI_CorrespondenceNumber !Int /* auxiliary used in module comparedefimp */
 					| TVI_AType !AType /* auxiliary used in module comparedefimp */
 					| TVI_Used /* to administer that this variable is encountered (in checkOpenTypes) */
-- 
cgit v1.2.3