RE: Stealing ideas from the latest GCC release

2012-03-23 Thread Simon Peyton-Jones
Good for JHC! Indeed; see http://hackage.haskell.org/trac/ghc/ticket/5059 There are two big questions: * When to specialise (a supercompiler specialises on everything) * How to make sure that the arguments are not inlined too early (see the ticket) Simon | -Original Message- | From:

Re: GHCi and line numbers (with ghc-7.4.1)

2012-03-23 Thread Simon Marlow
On 22/03/2012 11:36, Christopher Done wrote: On 22 March 2012 12:13, Simon Marlowmarlo...@gmail.com wrote: On 20/03/2012 20:12, Simon Hengel wrote: They are now incremented with each evaluated expression. Why *are* they incremented with each evaluation? Surely the only use for line numbers

Re: Stealing ideas from the latest GCC release

2012-03-23 Thread wren ng thornton
On 3/22/12 5:09 PM, Johan Tibell wrote: It'd be nice if we could get foo to specialize on its input arguments, without having to mark all of fooWith as INLINE. +1 million. I don't recall how many times I've wanted this optimization, even if it has to be specified manually. Unfortunately, I