diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index d82da23..9c6b56d 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -463,9 +463,10 @@ NoGlobalIndex :== {gi_module=NoIndex,gi_index=NoIndex} = GTSAppCons TypeKind [GenTypeStruct] | GTSAppVar TypeVar [GenTypeStruct] | GTSVar TypeVar + | GTSArrow GenTypeStruct GenTypeStruct // needed for simplifying bimaps | GTSCons DefinedSymbol GenTypeStruct | GTSField DefinedSymbol GenTypeStruct - | GTSRec GenTypeStruct + | GTSObject DefinedSymbol GenTypeStruct | GTSE :: GenericTypeRep = |