On Mon, Jun 18, 2012 at 9:54 AM, Bas van Dijk <v.dijk....@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@projects.haskell.org
http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platform
