aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
authorronny2003-08-19 14:46:09 +0000
committerronny2003-08-19 14:46:09 +0000
commitd133d3d14a49b286183027196cf7a64e6b2f62b5 (patch)
tree0b8d431c8847a6dfea8f1024d5aba4b0d80090bf /frontend/syntax.dcl
parentremoved unused global type codes arguments (diff)
removed unused administrations
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1370 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 9c6b56d..6f746cd 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1273,12 +1273,12 @@ instance == OverloadedListType
:: TypeCodeExpression = TCE_Empty
| TCE_Var !VarInfoPtr
| TCE_TypeTerm !VarInfoPtr
- | TCE_Constructor !Index !GlobalTCType ![TypeCodeExpression]
+ | TCE_Constructor !GlobalTCType ![TypeCodeExpression]
| TCE_App !TypeCodeExpression !TypeCodeExpression
| TCE_Selector ![Selection] !VarInfoPtr
| TCE_UniType ![VarInfoPtr] !TypeCodeExpression
-:: GlobalTCType = GTT_Basic !BasicType | GTT_Constructor !SymbIdent !Bool | GTT_PredefTypeConstructor !(Global Index) | GTT_Function
+:: GlobalTCType = GTT_Basic !BasicType | GTT_Constructor !SymbIdent | GTT_PredefTypeConstructor !(Global Index) | GTT_Function
:: FunctionPattern = FP_Basic !BasicValue !(Optional FreeVar)