diff options
| author | johnvg | 2005-01-21 16:16:20 +0000 |
|---|---|---|
| committer | johnvg | 2005-01-21 16:16:20 +0000 |
| commit | dc26cbe6261acca5f7567317ceef8bf0c522948e (patch) | |
| tree | 6cb6760612fb02af3024001ee69ed850af64d147 /frontend/syntax.dcl | |
| parent | first print derived type, then specified type, in error message (diff) | |
prevent compiler crash in function requirements_of_fields when
a record occurs in a pattern and this record (variable) is updated
with a field of another record (with fewer fields).
for example:
:: R1 = {v1::!Int};
:: R2 = {v2::!Int,n1::!Real};
f r=:{v1} = {r & v2=v1};
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1509 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 23042e4..1b243bf 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -608,7 +608,7 @@ from convertDynamics import :: TypeCodeVariableInfo, :: DynamicValueAliasInfo :: VI_TypeInfo = VITI_Empty | VITI_Coercion CoercionPosition - | VITI_PatternType [AType] VI_TypeInfo + | VITI_PatternType [AType] 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 | |