18 Sep
2002
18 Sep
'02
10:21 a.m.
From: D. Tweed [mailto:tweed@compsci.bristol.ac.uk]
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