From f8578cfa2913692461a557a284db1638a34b140c Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 20 Apr 2005 11:10:21 +0000
Subject: function clear_attributes in function freshSymbolType was not called
 because the resulting th_attrs were not stored in the type heaps

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1529 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/type.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontend')

diff --git a/frontend/type.icl b/frontend/type.icl
index f662aff..f29bbf5 100644
--- a/frontend/type.icl
+++ b/frontend/type.icl
@@ -798,7 +798,7 @@ freshSymbolType is_appl fresh_context_vars st=:{st_vars,st_args,st_result,st_con
 	  							= fresh_arg_types is_appl st_args (ts_var_store, ts_attr_store, ts_exis_variables, type_heaps)
 	  (tst_result, type_heaps)	= freshCopy st_result type_heaps
 	  (tst_context, (type_heaps, ts_var_heap)) 	= freshTypeContexts fresh_context_vars st_context (type_heaps, ts_var_heap)
-	  th_attrs					= clear_attributes st_attr_vars th_attrs
+	  type_heaps = {type_heaps & th_attrs = clear_attributes st_attr_vars type_heaps.th_attrs}
 	  cons_variables			= foldSt (collect_cons_variables_in_tc common_defs) tst_context [] 
 	= ({ tst_args = tst_args, tst_result = tst_result, tst_context = tst_context, tst_attr_env = attr_env, tst_arity = st_arity, tst_lifted = 0 },
 	   { ts & ts_var_store = ts_var_store, ts_attr_store = ts_attr_store, ts_type_heaps = type_heaps, ts_var_heap = ts_var_heap,
-- 
cgit v1.2.3