From f392a7a26e409b771d10544eb370b68861a819b5 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 21 Mar 2011 16:40:59 +0000
Subject: optimize adapters for generic functions using algebraic types which
 have constructors with only type variable arguments occurring at most once,
 these types can be optimized if they occur as an argument or result, or as an
 argument of such a type, of a generic function (and a generic variable is
 used by the type)

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

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 295e60b..851125e 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -551,12 +551,13 @@ NoGlobalIndex :== {gi_module=NoIndex,gi_index=NoIndex}
  	| GTSCons DefinedSymbol GenTypeStruct
  	| GTSField DefinedSymbol GenTypeStruct
  	| GTSObject DefinedSymbol GenTypeStruct
- 	| GTSE
+	| GTSPair !GenTypeStruct !GenTypeStruct		// for optimizing bimaps
+	| GTSEither !GenTypeStruct !GenTypeStruct	// for optimizing bimaps
 	| GTSArrow GenTypeStruct GenTypeStruct		// for optimizing bimaps
+ 	| GTSE
 	| GTSAppConsBimapKindConst					// for optimizing bimaps
 	| GTSAppBimap TypeKind [GenTypeStruct]		// for optimizing bimaps
-	| GTSPair !GenTypeStruct !GenTypeStruct		// for optimizing bimaps
-	| GTSEither !GenTypeStruct !GenTypeStruct	// for optimizing bimaps
+	| GTSAppConsSimpleType !(Global Index) !TypeKind ![GenTypeStruct]	// for optimizing bimaps
 
 :: GenericTypeRep = 
 	{ gtr_type :: GenTypeStruct		// generic structure type
-- 
cgit v1.2.3