From 6d949b9ad945e6022518ea35dffc29e923d07737 Mon Sep 17 00:00:00 2001
From: martinw
Date: Fri, 5 Nov 1999 15:32:39 +0000
Subject: fusion works now. The fusion switch in module typesupport is enabled

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

(limited to 'frontend/transform.dcl')

diff --git a/frontend/transform.dcl b/frontend/transform.dcl
index f285c3b..8e0f782 100644
--- a/frontend/transform.dcl
+++ b/frontend/transform.dcl
@@ -13,11 +13,16 @@ partitionateMacros :: !IndexRange !Index !*{# FunDef} !u:{# DclModule} !*VarHeap
 	-> (!*{# FunDef}, !u:{# DclModule}, !*VarHeap, !*ExpressionHeap, !*SymbolTable, !*ErrorAdmin )
 
 ::	UnfoldState =
-	{	us_var_heap		:: !.VarHeap
-	,	us_symbol_heap	:: !.ExpressionHeap
-	,	us_cleanup_info	:: ![ExprInfoPtr]
+	{	us_var_heap				:: !.VarHeap
+	,	us_symbol_heap			:: !.ExpressionHeap
+	,	us_opt_type_heaps		:: !.Optional .TypeHeaps
+	,	us_cleanup_info			:: ![ExprInfoPtr]
+	,	us_subst_vars			:: !Bool
+	,	us_handle_aci_free_vars	:: !AciFreeVarHandleMode
 	}
 	
+:: AciFreeVarHandleMode = LeaveThem | RemoveThem | SubstituteThem
+
 class unfold a :: !a !*UnfoldState -> (!a, !*UnfoldState)
 
 instance unfold Expression, CasePatterns
-- 
cgit v1.2.3