From 6485c9b2f7452600807535e84c30a1d7aeb9e2e5 Mon Sep 17 00:00:00 2001
From: martinw
Date: Wed, 31 May 2000 08:59:13 +0000
Subject: Added just a comment (beginning with "XXX") that indicates a change
 that has to be made to solve the following bug:

f
  # x = undef
  #! y = x
  | True
    = 2
  = y

After checking this will be like

f
  # x = undef
  | True
    = 2
  = x

To really solve this bug we have to invent something new, because aliases
like (#! y = x) are _not_ allowed. We could either introduce a dummy identity function:

f
  # x = undef
  #! y = dummy_id x
  | True
    = 2
  = y

or we could introduce constructs like

f
  # x = undef
  #! y
  | True
    = 2
  = y


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

(limited to 'frontend')

diff --git a/frontend/transform.icl b/frontend/transform.icl
index d6a34d9..485e464 100644
--- a/frontend/transform.icl
+++ b/frontend/transform.icl
@@ -1200,6 +1200,7 @@ where
 		= (expr @ exprs, free_vars, cos)
 	collectVariables (Let lad=:{let_strict_binds, let_lazy_binds, let_expr}) free_vars cos=:{cos_var_heap}
 		# cos_var_heap = determine_aliases let_strict_binds cos_var_heap
+// XXX:	# cos_var_heap = foldSt (\bind cos_var_heap->clearCount bind cIsALocalVar cos_var_heap) let_strict_binds cos_var_heap
 		# cos_var_heap = determine_aliases let_lazy_binds cos_var_heap
 		  (is_cyclic_s, let_strict_binds, cos_var_heap) = detect_cycles_and_remove_alias_binds let_strict_binds cos_var_heap
 		  (is_cyclic_l, let_lazy_binds, cos_var_heap)	= detect_cycles_and_remove_alias_binds let_lazy_binds cos_var_heap
-- 
cgit v1.2.3