Haskell Platform proposal: Add the vector package

Bas van Dijk v.dijk.bas at gmail.com
Mon Jun 18 17:54:45 BST 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).

+1

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:

#if defined(VECTOR_BOUNDS_CHECKS)
{-# LANGUAGE Trustworthy #-}
#endif

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 Haskell-platform mailing list