On 15 June 2012 23:45, Johan Tibell
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.