diff options
| author | sjakie | 2002-11-13 12:29:30 +0000 |
|---|---|---|
| committer | sjakie | 2002-11-13 12:29:30 +0000 |
| commit | 7177ee18796d30852f377b855114d19d37946a87 (patch) | |
| tree | 78186ce8474da3bb402152521ccefbdc82ddfda7 /frontend/syntax.dcl | |
| parent | bug fix, (diff) | |
Removed bugs in analysis of abstract data types and adjusted typing of record updates
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1277 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 7bcc20c..cb7ac34 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -603,7 +603,12 @@ pIsSafe :== True from convertDynamics import :: TypeCodeVariableInfo, :: DynamicValueAliasInfo -:: VarInfo = VI_Empty | VI_Type !AType !(Optional CoercionPosition) | VI_FAType ![ATypeVar] !AType !(Optional CoercionPosition) | +:: VI_TypeInfo = VITI_Empty + | VITI_Coercion CoercionPosition + | VITI_PatternType [AType] VI_TypeInfo + +//:: VarInfo = VI_Empty | VI_Type !AType !(Optional CoercionPosition) | VI_FAType ![ATypeVar] !AType !(Optional CoercionPosition) | +:: VarInfo = VI_Empty | VI_Type !AType !VI_TypeInfo | VI_FAType ![ATypeVar] !AType !VI_TypeInfo | VI_Occurrence !Occurrence | VI_UsedVar !Ident | VI_Expression !Expression | VI_Variable !Ident !VarInfoPtr | VI_LiftedVariable !VarInfoPtr | VI_Count !Int /* the reference count of a variable */ !Bool /* true if the variable is global, false otherwise */ | |