On Mon, Jun 18, 2012 at 9:54 AM, Bas van Dijk
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