> From: D. Tweed [mailto:[EMAIL PROTECTED]] 
>
> Note that (assuming that I'm not missing something) you can 
> prevent the
> moving of expressions involving l in a very ugly way by 
> noting that these
> `dummy argument functions' are polymorphic so that you could write
> 
> x1 = f1 (l 1)
> x2 = f2 x1 (l 2)
> x3 = f3 x2 (l 3)

Please don't encourage this sort of thing.  If two expressions are
semantically equivalent, there's always a chance that the compiler will
replace one by the other or common them up. 

In this case, I believe GHC's worker-wrapper transformation will do it.

Cheers,
        Simon
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to