Re: Removing the .Safe modules from vector (was: Haskell Platform proposal: Add the vector package)

On 30/08/2012 15:16, Johan Tibell wrote:

On Thu, Aug 30, 2012 at 3:09 AM, Roman Leshchinskiy wrote:

...

As I said earlier, I will definitely remove the .Safe modules. I'm not particularly keen on adding .Unsafe modules but in the scheme you're proposing, they'll just reexport a few functions and are (hopefully) easy to generate automatically so if there really is demand for it, I'll add them. Although I'd like to point out that with these scheme, vector won't have any SafeHaskell-safe modules so I'm not entirely sure what the point is, given that the entire discussion was because people objected to removing support for SafeHaskell.

My main interest is having the .Safe modules removed. I wanted to present a compromise that'd allow people that care about Safe Haskell to still use vector. I'm hoping that having .Unsafe modules will be less work than having .Safe modules.

My intention was to move from:

* M - Unsafe * M.Safe - Trustworthy

to:

* M - Trustworthy * M.Unsafe - Unsafe

I just had a look at Data.Vector and the haddock docs claim that it's Safe-inferred.

I think that's a bug in Haddock that has since been fixed. Whoever generated that documentation needs to update to a newer version of Haddock. Cheers, Simon