RE: the FFI and C reference counting

2005-07-25 Thread Simon Marlow
On 24 July 2005 14:05, Peter Gammie wrote: > After much head scratching I can only think that the following is > happening: > > 1. Create BDD, BDD.refcount++, add finalizer. > 2. BDD becomes unreferenced but not yet GC'd. > 3. Call BDD operation returning the same BDD as step 1. (call it BDD') >

RE: Performance week 25/6-29/6

2005-07-25 Thread Simon Marlow
On 25 July 2005 10:07, Ketil Malde wrote: > "Simon Marlow" <[EMAIL PROTECTED]> writes: > >> We're interested in performance issues with both GHC itself and >> GHC-compiled code. > > I can think of a couple of things. > > One is the performance of Int64 (which unsurprisingly is inferior to > Int

Re: Performance week 25/6-29/6

2005-07-25 Thread Ketil Malde
"Simon Marlow" <[EMAIL PROTECTED]> writes: > We're interested in performance issues with both GHC itself and > GHC-compiled code. I can think of a couple of things. One is the performance of Int64 (which unsurprisingly is inferior to Int(32) but more surprisingly, also to Integer). I've reporte

RE: Lambda Lifting and Haskell

2005-07-25 Thread Simon Peyton-Jones
You're not asking a question about Haskell, but about Haskell implementations, and they may make different choices. GHC, for example, does not do lambda lifting. See http://research.microsoft.com/copyright/accept.asp?path=/users/simonpj/p apers/spineless-tagless-gmachine.ps.gz&pub=34 for a summ