<div dir="ltr">`bitZero` sounds like it should equal `bit 0`, which it doesn't. <div><br></div><div>zeroBits ?<div><br></div><div>-Edward</div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Feb 16, 2014 at 11:42 AM, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvr@gnu.org" target="_blank">hvr@gnu.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
On 2014-02-16 at 15:10:42 +0100, ARJANEN Loïc Jean David wrote:<br>
> I'll have to come down against that proposal because, at least on amd64 for 64<br>
> bits-sized types (Int, Int64, Word & Word64), it doesn't works.<br>
<br>
You're right, I don't know how I could have missed that :-/<br>
<br>
Since the presumed pre-condition for the proposal (that 'bit (-1) == 0'<br>
would already hold) I hereby amend the proposal to<br>
<br>
> Introduce a new class method<br>
><br>
> Â class Bits a where<br>
> Â Â Â ...<br>
> Â Â Â -- | Value with all bits cleared<br>
> Â Â Â bitZero :: a<br>
> Â Â Â ...<br>
><br>
> modulo naming of 'bitZero'<br>
<br>
(I'm hesitant to consume "zero" from the namespace as was suggested by Henning)<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div>