RE: too much let-floating

2007-06-04 Thread Simon Peyton-Jones
| This is a bit disappointing of course, so how do we fix it. There are | two possibilities as far as I can see. Either don't let float it, or | have the rule matcher look through the indirection. This is a tricky one. One possibility would be to postpone full laziness until later in the optimis

RE: debugging why we end up calling the wrapper rather than the worker

2007-06-04 Thread Simon Peyton-Jones
| So it seems to me that NOINLINE should prevent inlining but not prevent | calling the worker rather than the wrapper. I don't fully understand how | NOINLINE interacts with the worker/wrapper transform (or I wouldn't have | been surprised by this behaviour). I'm guessing that it works by doing |

RE: too much let-floating

2007-06-04 Thread Duncan Coutts
On Mon, 2007-06-04 at 12:31 +0100, Simon Peyton-Jones wrote: > | This is a bit disappointing of course, so how do we fix it. There are > | two possibilities as far as I can see. Either don't let float it, or > | have the rule matcher look through the indirection. > > This is a tricky one. One pos

RE: debugging why we end up calling the wrapper rather than the worker

2007-06-04 Thread Duncan Coutts
On Mon, 2007-06-04 at 12:44 +0100, Simon Peyton-Jones wrote: > | So it seems to me that NOINLINE should prevent inlining but not prevent > | calling the worker rather than the wrapper. I don't fully understand how > | NOINLINE interacts with the worker/wrapper transform (or I wouldn't have > | been

RE: debugging why we end up calling the wrapper rather than the worker

2007-06-04 Thread Simon Peyton-Jones
| But that allows it to be inlined in phase 0, and that's exactly what I | don't want. I really do not want this function inlined, I want it to be | a join point. Remind me why you really don't want it inlined, ever? Even if it's small etc. S ___ Glasg

Re: 2-days old in Haskell

2007-06-04 Thread TOPE KAREM
Thanks to all ( Stefan, Ketil and Brown). It works both on Linux and Windows. Tope On 6/2/07, Stefan O'Rear <[EMAIL PROTECTED]> wrote: On Fri, Jun 01, 2007 at 04:00:51PM +0200, TOPE KAREM wrote: > I am very new to Haskell, and I am using this webpage as a learning source: > http://www.haskel

RE: debugging why we end up calling the wrapper rather than the worker

2007-06-04 Thread Duncan Coutts
On Mon, 2007-06-04 at 14:01 +0100, Simon Peyton-Jones wrote: > | But that allows it to be inlined in phase 0, and that's exactly what I > | don't want. I really do not want this function inlined, I want it to be > | a join point. > > Remind me why you really don't want it inlined, ever? Even if i

specialization using RULES

2007-06-04 Thread Scott Dillard
Hello, This is somewhat related to this thread: http://www.haskell.org/pipermail/glasgow-haskell-users/2007-May/012646.html In that email I asked about the performance of gaussian elimination on small matrices represented by unboxed arrays, because I noticed that unsafeRead was unexpectedly slo

OT: shell prompt

2007-06-04 Thread John Meacham
On Fri, Jun 01, 2007 at 04:07:37PM +0200, Ketil Malde wrote: > You don't usually compile from within GHCi, but rather from a system > command prompt. And: the dollar sign is the typical Unix command > prompt, you're not supposed to type it in. Incidentally, I find it useful when giving examples o