aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
authoralimarin2003-07-15 08:53:08 +0000
committeralimarin2003-07-15 08:53:08 +0000
commitacc8f2a6261529d2135961cfaf6cdeda3f24b5c0 (patch)
treec296d763c1adae0a04e60bde459205f6d43b28a6 /frontend/syntax.dcl
parentchanged some names to properly reflect their type (diff)
OBJECT marking is added
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl3
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 =