Max,
OK, that makes sense. I'll commit a patch, commenting out
, ([2], Opt_StaticArgumentTransformation)
in main/DynFlags, with suitable comments.
Simon
| -----Original Message-----
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Max
| Bolingbroke
| Sent: 12 September 2008 14:14
| To: Simon Peyton-Jones
| Subject: Static argument transformation in 6.10
|
| I think it's probably best not to enable SAT with -O2 for the 6.10
| release. The version of SAT in HEAD at the moment doesn't incorporate
| several improvements to the heuristics, and I'm concerned that without
| those changes SAT will interfere with some attempts to write "high
| performance Haskell", as we saw in some posts on Haskell-Cafe earlier
| this year. In particular, the version in HEAD lacks the tail call
| criterion, so many things that look like reasonable loops will be
| turned into functions with extra (unneccesary) thunk creation.
|
| Does that seem reasonable?
|
| Max
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
