From b4783a494767160241bde009c0ac19f21c2e3d11 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 5 Jun 2009 14:37:53 +0000
Subject: make function add_new_variable global instead of local

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1740 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/typesupport.icl | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'frontend')

diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl
index 895352c..ebcb5dd 100644
--- a/frontend/typesupport.icl
+++ b/frontend/typesupport.icl
@@ -186,12 +186,6 @@ where
 		| cui.cui_top_level
 			= cleanUpVariable True type qv_number {cus & cus_exis_vars = add_new_variable type qv_number cus_exis_vars}
 			= cleanUpVariable False type qv_number cus
-	where			
-		add_new_variable TE qv_number cus_exis_vars
-			= [(qv_number, TA_None) : cus_exis_vars]
-		add_new_variable type qv_number cus_exis_vars
-			= cus_exis_vars
-			
 	clean_up cui tv=:(TV _) cus
 		= (tv, cus)
 	clean_up cui (TFA vars type) cus=:{cus_heaps}
@@ -199,6 +193,11 @@ where
 		= (TFA vars type, cus)
 	clean_up cui type cus
 		= abort ("clean_up Type (typesupport.icl): unknown type " ---> ("clean_up Type", type))
+
+add_new_variable TE qv_number cus_exis_vars
+	= [(qv_number, TA_None) : cus_exis_vars]
+add_new_variable type qv_number cus_exis_vars
+	= cus_exis_vars
 				
 instance clean_up [a] | clean_up a
 where
-- 
cgit v1.2.3