Re: Proposal: Pooled memory management

2003-01-18 Thread Sven Panne
Fergus Henderson wrote: > [...] why is the Pool type polymorphic, and allocation in a pool > restricted to only allocating values whose type matches the pool's > type parameter? It would be much nicer to support allocating > different types in the same pool. No deep reason, it was just a remnant

Re: Proposal: Pooled memory management

2003-01-18 Thread Fergus Henderson
On 18-Jan-2003, Sven Panne <[EMAIL PROTECTED]> wrote: > The FFI libraries currently contain support for explicit allocation > and deallocation via the malloc/free family and support for implicit > allocation and deallocation via alloca and friends. But there is a > very useful level between these e

Re: Proposal: Pooled memory management

2003-01-18 Thread Sven Panne
I wrote: > [...] I propose adding this module to FFI addendum and the exports > of module Foreign.Marshal. [...] Ooops, typo: I meant module Foreign... Sorry, S. ___ FFI mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/ffi

Proposal: Pooled memory management

2003-01-18 Thread Sven Panne
The FFI libraries currently contain support for explicit allocation and deallocation via the malloc/free family and support for implicit allocation and deallocation via alloca and friends. But there is a very useful level between these extremes: Pooled memory management. Under this scheme, (re-)all