6 Dec
2004
6 Dec
'04
8:36 a.m.
On 06 December 2004 13:25, Simon Peyton-Jones wrote:
and is it (still?) true that GHC never expands them?
I'm not sure if GHC guarantees never to duplicate a redex, Simon PJ might know.
Yes, it's very careful not to duplicate a redex, except for ones of known bounded size, like x +# y, where sharing the work costs more than duplicating int.
I seem to recall that redexes of "known bounded size" includes case z of (a,b) -> e right? We sometimes push case expressions inside lambdas to bring lambdas together, for example. Cheers, Simon