diff options
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 d1142ed..8b873ff 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -1301,7 +1301,7 @@ instance == OverloadedListType :: TypeCodeExpression = TCE_Empty | TCE_Var !VarInfoPtr | TCE_TypeTerm !VarInfoPtr - | TCE_Constructor !Index ![TypeCodeExpression] + | TCE_Constructor !Index !GlobalTCType ![TypeCodeExpression] | TCE_App !TypeCodeExpression !TypeCodeExpression | TCE_Selector ![Selection] !VarInfoPtr | TCE_UniType ![VarInfoPtr] !TypeCodeExpression |