diff options
| author | sjakie | 2002-10-30 10:30:25 +0000 |
|---|---|---|
| committer | sjakie | 2002-10-30 10:30:25 +0000 |
| commit | ed43105eed9ce791936faf82975409aea86ab8c1 (patch) | |
| tree | 507c4255c2563853d6b2784237fa4911eacc4801 /frontend/syntax.dcl | |
| parent | - added: DynamicRepresentation_String was removed (diff) | |
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
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
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) */ |