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 d2a47c7..fd7ce17 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -1476,7 +1476,7 @@ instance == OverloadedListType :: GlobalTCType = GTT_Basic !BasicType - | GTT_Constructor !SymbIdent + | GTT_Constructor !SymbIdent !Bool/*is unique type*/ | GTT_PredefTypeConstructor !(Global Index) | GTT_Function |