[Haskell-cafe] heap lifetime question

Henning Thielemann lemming at henning-thielemann.de
Thu Aug 7 02:36:17 EDT 2008

On Thu, 7 Aug 2008, Bulat Ziganshin wrote:

> Hello Vasili,
> Thursday, August 7, 2008, 9:33:32 AM, you wrote:
> oh, it was my mistake. alloca behavior is completely defined by it's
> generic implementation:
> allocaBytes      :: Int -> (Ptr a -> IO b) -> IO b
> allocaBytes size  = bracket (mallocBytes size) free
> although GHC implementation is much more efficient

That is, it is not a good idea to use 'allocaBytes n return' in order to
carry a pointer of an allocated piece of memory out of the inner action.

More information about the Haskell-Cafe mailing list