Haskell Platform proposal: Add the vector package

Bas van Dijk v.dijk.bas at gmail.com
Mon Jun 18 18:54:45 CEST 2012

On 15 June 2012 23:45, Johan Tibell <johan.tibell at gmail.com> wrote:
> Hi,
> I am, with Roman's support, making a formal proposal to have the
> vector package included in the Haskell Platform:
>    http://trac.haskell.org/haskell-platform/wiki/Proposals/vector
> See the wiki page for details, and a list of open issues for discussion.
> The vector package itself can be found on Hackage:
>    http://hackage.haskell.org/package/vector
> I have set the deadline to 13 August 2012 (~2 months' time), with
> comments due by 13 July 2012 (~one month).  There's plenty of time
> before the next platform release anyway (scheduled for 12 November
> 2012).


I like the idea of the vector-safe package. Are you also proposing to
add this package to the HP? (I would also be +1 on that)

I see that the trustworthiness of the .Safe modules is conditional on
whether bound checking is enabled in vector:

{-# LANGUAGE Trustworthy #-}

The VECTOR_BOUNDS_CHECKS pragma would not be directly available in
vector-safe. But I guess, by using the install-includes cabal field,
vector can export a header file that exports this symbol when bound
checking is enabled.

More information about the Libraries mailing list