| > Why has the behavior changed? Because it depends whether eta-expansion
happens
| before float-out. Now it does. I could change that back. The eta expander
knows that
| (sc_sel d) is cheap, so it turns it into this
| > exp = /\a. \d.\x. let d1 = sc_sel d in (fromInteger d1 3)
On 17/11/2010, at 17:32, Simon Peyton-Jones wrote:
> Why has the behavior changed? Because it depends whether eta-expansion
> happens before float-out. Now it does. I could change that back. The eta
> expander knows that (sc_sel d) is cheap, so it turns it into this
> exp = /\a. \d.\x. let
mon Marlow
| Sent: 17 November 2010 11:18
| To: GHC CVS list
| Subject: MethSharing fail
|
| Anybody know anything about this one? From a validate run this morning:
|
| => MethSharing(normal) 9 of 12 [0, 0, 0]
| cd ./should_run && '/64playpen/simonmar/validate/inplace/bin/ghc-s
Anybody know anything about this one? From a validate run this morning:
=> MethSharing(normal) 9 of 12 [0, 0, 0]
cd ./should_run && '/64playpen/simonmar/validate/inplace/bin/ghc-stage2'
-fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output
-no-user-package-conf -rtsopts -o MethSharing M