From acc8f2a6261529d2135961cfaf6cdeda3f24b5c0 Mon Sep 17 00:00:00 2001
From: alimarin
Date: Tue, 15 Jul 2003 08:53:08 +0000
Subject: OBJECT marking is added

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.dcl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'frontend/syntax.dcl')

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 = 
-- 
cgit v1.2.3