Haskell Platform proposal: Add the vector package

Ryan Newton rrnewton at gmail.com
Mon Jun 18 23:24:44 CEST 2012


+1

This is one of those packages that I periodically forget is not in HP.

On Mon, Jun 18, 2012 at 2:39 PM, Johan Tibell <johan.tibell at gmail.com>wrote:

> On Mon, Jun 18, 2012 at 9:54 AM, Bas van Dijk <v.dijk.bas at gmail.com>
> wrote:
> > 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 think it makes sense as a separate package, but I don't think it
> makes sense to add to the HP. SafeHaskell isn't used enough to warrant
> 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.
>
> That sounds like a reasonable solution.
>
> -- Johan
>
> _______________________________________________
> Haskell-platform mailing list
> Haskell-platform at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platform
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20120618/263c20df/attachment.htm>


More information about the Libraries mailing list