diff options
| author | ronny | 2003-08-20 12:51:42 +0000 |
|---|---|---|
| committer | ronny | 2003-08-20 12:51:42 +0000 |
| commit | adecbb1e6ee4e2ace971e70b8f4cc5ce7b2f5d55 (patch) | |
| tree | f1f8ae4dc7256c38ea3357d61a1ffe1ac629b7d8 /frontend/syntax.dcl | |
| parent | removed unused administrations (diff) | |
removed unnecessary separate fields for universal variables,
they are represented by the TFA constructor for types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1371 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 6f746cd..0cb99d9 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -749,7 +749,7 @@ cNonRecursiveAppl :== False | EI_TempDynamicType !(Optional DynamicType) ![DynamicPtr] !AType ![TypeContext] !ExprInfoPtr !SymbIdent | EI_TempDynamicPattern ![TypeVar] !DynamicType ![DynamicPtr] ![TempLocalVar] !AType ![TypeContext] !ExprInfoPtr !SymbIdent - | EI_TypeOfDynamic ![VarInfoPtr] !TypeCodeExpression /* Final */ + | EI_TypeOfDynamic !TypeCodeExpression /* Final */ | EI_TypeOfDynamicPattern ![VarInfoPtr] !TypeCodeExpression /* Final */ | EI_TypeCode !TypeCodeExpression @@ -1310,7 +1310,6 @@ instance == OverloadedListType :: DynamicPattern = { dp_var :: !FreeVar , dp_type :: !ExprInfoPtr - , dp_type_patterns_vars :: ![VarInfoPtr] /* filled after type checking */ , dp_type_code :: !TypeCodeExpression /* filled after type checking */ , dp_rhs :: !Expression , dp_position :: !Position |