diff options
| author | johnvg | 2013-04-04 11:04:33 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-04 11:04:33 +0000 |
| commit | 936cd1e30d66fb0cf28a32187227e2926ea2eca7 (patch) | |
| tree | e8ba6825de9d0e865558b9cfe5b46545f0b5afce /frontend/syntax.dcl | |
| parent | remove more small differences in module typereify with the iTask branch (diff) | |
add type constraints in dynamic types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2221 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 1bca9d6..0f77b44 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -875,11 +875,11 @@ cNotVarNumber :== -1 /* Auxiliary, used during type checking */ - | EI_TempDynamicType !(Optional DynamicType) ![DynamicPtr] !AType ![TypeContext] !ExprInfoPtr !SymbIdent + | EI_TempDynamicType !(Optional DynamicType) ![DynamicPtr] !AType ![TypeContext] ![TypeContext] !ExprInfoPtr !SymbIdent | EI_TempDynamicPattern ![TypeVar] !DynamicType ![DynamicPtr] ![TempLocalVar] !AType ![TypeContext] !ExprInfoPtr !SymbIdent | EI_TypeOfDynamic !TypeCodeExpression /* Final */ - | EI_TypeOfDynamicPattern ![VarInfoPtr] !TypeCodeExpression /* Final */ + | EI_TypeOfDynamicPattern ![VarInfoPtr] !TypeCodeExpression !Bool /* Final */ | EI_TypeOfDynamicWithContexts !TypeCodeExpression !(VarContexts DictionaryAndClassType) | EI_TypeCode !TypeCodeExpression @@ -1056,6 +1056,7 @@ cNotVarNumber :== -1 { dt_uni_vars :: ![ATypeVar] , dt_global_vars :: ![TypeVar] , dt_type :: !AType + , dt_contexts :: ![TypeContext] } :: KindHeap :== Heap KindInfo |