diff options
| author | johnvg | 2003-12-11 15:18:52 +0000 |
|---|---|---|
| committer | johnvg | 2003-12-11 15:18:52 +0000 |
| commit | 0468f6b8191867d014a3aaab4264569b78f0bd42 (patch) | |
| tree | 374cc09c35800ce42e3ee31206b0e33f5e98af68 /frontend/syntax.dcl | |
| parent | remove BackendBody (diff) | |
move FunctionPattern type from syntax to backendconvert
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1428 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 01be501..4d703cc 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -1277,13 +1277,6 @@ instance == OverloadedListType | TCE_UnqType !TypeCodeExpression :: GlobalTCType = GTT_Basic !BasicType | GTT_Constructor !SymbIdent | GTT_PredefTypeConstructor !(Global Index) | GTT_Function - - -:: FunctionPattern = FP_Basic !BasicValue !(Optional FreeVar) - | FP_Algebraic !(Global DefinedSymbol) ![FunctionPattern] !(Optional FreeVar) - | FP_Variable !FreeVar - | FP_Dynamic ![VarInfoPtr] !FreeVar !TypeCodeExpression !(Optional FreeVar) - | FP_Empty :: AlgebraicPattern = { ap_symbol :: !(Global DefinedSymbol) @@ -1346,7 +1339,7 @@ cNotALineNumber :== -1 instance == ModuleKind, Ident instance <<< (Module a) | <<< a, ParsedDefinition, InstanceType, AttributeVar, TypeVar, SymbolType, Expression, Type, Ident, (Global object) | <<< object, Position, CaseAlt, AType, FunDef, ParsedExpr, TypeAttribute, (Bind a b) | <<< a & <<< b, ParsedConstructor, (TypeDef a) | <<< a, TypeVarInfo, AttrVarInfo, - BasicValue, ATypeVar, TypeRhs, FunctionPattern, (Import from_symbol) | <<< from_symbol, ImportDeclaration, ImportedIdent, CasePatterns, + BasicValue, ATypeVar, TypeRhs, (Import from_symbol) | <<< from_symbol, ImportDeclaration, ImportedIdent, CasePatterns, (Optional a) | <<< a, ConsVariable, BasicType, Annotation, SelectorKind, Selection, SelectorDef, ConsDef, LocalDefs, FreeVar, ClassInstance, SignClassification, TypeCodeExpression, CoercionPosition, AttrInequality, LetBind, Declaration, STE_Kind, BoundVar, TypeSymbIdent, |