<p dir="ltr">That may be reasonable. I think it likely makes more sense than making the type of shift depend on the type of number, anyway.</p>
<div class="gmail_quote">On Jul 13, 2014 3:43 PM, "Henning Thielemann" <<a href="mailto:schlepptop@henning-thielemann.de">schlepptop@henning-thielemann.de</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Am 13.07.2014 20:36, schrieb David Feuer:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
3. I would like to add explicit arithmetic and logical shifts to<br>
Data.Bits. When fiddling bits, it's often easier to think about that<br>
distinction explicitly, rather than in terms of whether the type is<br>
signed or unsigned, and more convenient to have an explicit operation<br>
rather than casting around.<br>
</blockquote>
<br>
What kind of data do you have in mind, where both signed and unsigned shifts make sense?<br>
<br>
So far, I'd say, that calling "asr" on Word and "lsr" on Int should be a type error.<br>
</blockquote></div>