RE: MethSharing fail

2010-11-17 Thread Simon Peyton-Jones
| > 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)

Re: MethSharing fail

2010-11-17 Thread Roman Leshchinskiy
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

RE: MethSharing fail

2010-11-17 Thread Simon Peyton-Jones
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

MethSharing fail

2010-11-17 Thread Simon Marlow
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