<div>+1</div><div><br></div><div>This is one of those packages that I periodically forget is not in HP.</div><br><div class="gmail_quote">On Mon, Jun 18, 2012 at 2:39 PM, Johan Tibell <span dir="ltr"><<a href="mailto:johan.tibell@gmail.com" target="_blank">johan.tibell@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Mon, Jun 18, 2012 at 9:54 AM, Bas van Dijk <<a href="mailto:v.dijk.bas@gmail.com">v.dijk.bas@gmail.com</a>> wrote:<br>
> I like the idea of the vector-safe package. Are you also proposing to<br>
> add this package to the HP? (I would also be +1 on that)<br>
<br>
</div>I think it makes sense as a separate package, but I don't think it<br>
makes sense to add to the HP. SafeHaskell isn't used enough to warrant<br>
that.<br>
<div class="im"><br>
> I see that the trustworthiness of the .Safe modules is conditional on<br>
> whether bound checking is enabled in vector:<br>
><br>
> #if defined(VECTOR_BOUNDS_CHECKS)<br>
> {-# LANGUAGE Trustworthy #-}<br>
> #endif<br>
><br>
> The VECTOR_BOUNDS_CHECKS pragma would not be directly available in<br>
> vector-safe. But I guess, by using the install-includes cabal field,<br>
> vector can export a header file that exports this symbol when bound<br>
> checking is enabled.<br>
<br>
</div>That sounds like a reasonable solution.<br>
<span class="HOEnZb"><font color="#888888"><br>
-- Johan<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Haskell-platform mailing list<br>
<a href="mailto:Haskell-platform@projects.haskell.org">Haskell-platform@projects.haskell.org</a><br>
<a href="http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platform" target="_blank">http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platform</a><br>
</div></div></blockquote></div><br>