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

Simon Marlow marlowsd at gmail.com
Fri Aug 31 13:33:19 BST 2012


On 30/08/2012 15:16, Johan Tibell wrote:
> On Thu, Aug 30, 2012 at 3:09 AM, Roman Leshchinskiy <rl at cse.unsw.edu.au> 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




More information about the Haskell-platform mailing list