ANNOUNCE: MonadCatchIO-foreign

Antoine Latter aslatter at gmail.com
Sun May 30 20:15:18 EDT 2010


Hi GHC,

Is there a reason that Foreign.Marshall.Array.allocaArray calls into
allocaBytes instead of allocaBytesAligned? Since alloca needs the
alignment, wouldn't allocaArray also need it?

I'm not too up on how memory access is supposed to work, it was just
something that jump out at me.

Thanks,
Antoine

On Sun, May 30, 2010 at 7:10 PM, Antoine Latter <aslatter at gmail.com> wrote:
> Hello Haskell,
>
> I'd like to announce a very small library in two flavors.
>
> The problem I'm trying to solve is that we have some capabilities for
> writing functions which are polymorphic over monad but still use IO
> capabilities - liftIO :: (IO a -> m a) from the packages transformers
> and mtl. The packages[1,2] MonadCatchIO offer similar polymorphism for
> the exception capabilities of the IO monad.
>
> The package MonadCatchIO-foreign offers similar polymorphism for the
> following functions:
>
>  alloca, allocaBytes, allocaArray, allocaArray0 and withForeignPtr.
>
> It's a small thing, but I don't see why it should be written twice.
>
> Links on hackage:
>
> http://hackage.haskell.org/package/MonadCatchIO-mtl-foreign
> http://hackage.haskell.org/package/MonadCatchIO-transformers-foreign
>
> GitHub link:
>
> http://github.com/aslatter/MonadCatchIO-foreign
>
> Feedback, praise and adulation welcome.
>
> Antoine
>


More information about the Glasgow-haskell-users mailing list