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 _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users