[clean-list] More transformations

[Manfred Schmidt-Schauss]

 Hi,

The following example shows that the transformation
is problematic

f x = if length x > 0 then 1 else 2

g x = if length x > 0 then 3 else 4


Now consider the expressions
s := f (repeat 1)   and 
t := g (repeat 1)

After the transformation, using Nat, s,t are different; s \sim 1, t \sim 3. 

Manfred Schmidt-Schauss

 ----------------------------------------------------------------------------
 Manfred Schmidt-Schau{\ss} 
 J.W.Goethe-Universit"at; FB Informatik     
 PO-Box 11 19 32; 60054 Frankfurt, Germany 
 email: schauss@ki.informatik.uni-frankfurt.de
 www: http://www.ki.informatik.uni-frankfurt.de/
 Tel: (+49) 69 798 28597       Fax:  (+49) 69 798 28919
 ----------------------------------------------------------------------------