Re: newForeignPtr

2003-02-03 Thread Ross Paterson
On Mon, Feb 03, 2003 at 09:20:03PM +1100, m v wrote: I do not understand the rational of the type of: newForeignPtr :: Ptr a - FunPtr (Ptr a - IO ()) - IO (ForeignPtr a) suppose I have a c function foreign import ccall fooalloc :: Ptr Foo and another

RE: newForeignPtr

2003-02-03 Thread Simon Marlow
For a summary of the discussion, see http://cvs.haskell.org/cgi-bin/cvsweb.cgi/haskell-report/ffi/finalizers. txt However, only Hugs implements this part of the spec at the moment. It will be implemented in GHC before the next major release. I'm not intentionally dragging my heels on this

Re: newForeignPtr

2003-02-03 Thread Malcolm Wallace
Simon Marlow [EMAIL PROTECTED] writes: However, only Hugs implements this part of the spec at the moment. It will be implemented in GHC before the next major release. I'm not intentionally dragging my heels on this one, just haven't got around to it yet :-) And of course the ghc-5.04

RE: newForeignPtr

2003-02-03 Thread Simon Marlow
Simon Marlow [EMAIL PROTECTED] writes: However, only Hugs implements this part of the spec at the moment. It will be implemented in GHC before the next major release. I'm not intentionally dragging my heels on this one, just haven't got around to it yet :-) And of course the

haskell finalisers driven underground

2003-02-03 Thread m v
outlawing Haskell finalisers / eliding them from the language is a futile exercise ... it will just drive them underground like (using a previous example ) import Foreign foreign import ccall wrapper mkfoo:: (Ptr a - IO ()) - IO (FunPtr (Ptr a - IO () )) main = do p - mallocBytes

Re: haskell finalisers driven underground

2003-02-03 Thread Sven Panne
[ Best read while listening to Queen's I'm going slightly mad ] Before this futile discussion starts over again, everybody should really read Boehm's Destructors, Finalizers, and Synchronization (as suggest by SPJ IIRC): http://www.hpl.hp.com/techreports/2002/HPL-2002-335.html Even with real