On 15 June 2012 23:45, Johan Tibell <johan.tib...@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.
_______________________________________________
Haskell-platform mailing list
Haskell-platform@projects.haskell.org
http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platform
