Ohhhh.  I see.  I guess the funny bit is that the size of a strictly evaluated unit type should be zero.  So size zero is what I was thinking about.  <span></span><br><br>On Saturday, December 19, 2015, Douglas McClean <<a href="mailto:douglas.mcclean@gmail.com">douglas.mcclean@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">My thinking was that an address p is valid for a type a iff p `mod` (alignment (undefined :: a)) == 0 and that, at least in most languages, x mod 0 is undefined. In contrast, anything mod 1 is 0.</p>
<div class="gmail_quote">On Dec 19, 2015 10:01 AM, "Carter Schonwald" <<a href="javascript:_e(%7B%7D,'cvml','carter.schonwald@gmail.com');" target="_blank">carter.schonwald@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">1 byte alignment might be tricky.  <div><br></div><div>When talking about storable, its helpful to keep in mind that it's meant to facilitate c interop, and ask what the corresponds with unit in c land,  and I think the answer is 0 bits :)</div><div><br></div><div><br><br>On Friday, December 18, 2015, Douglas McClean <<a href="javascript:_e(%7B%7D,'cvml','douglas.mcclean@gmail.com');" target="_blank">douglas.mcclean@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>Can the sizeOf a Storable type be 0?<br><br></div>As far as I can see the documentation doesn't say. I wouldn't expect there to be a problem, but there also isn't an instance Storable (), which I was expecting to see.<br><br></div>If so, should its alignment be 1 or 0?<br clear="all"><div><div><div><br><br></div><div>-Doug McClean<br></div></div></div></div>
</blockquote></div>
</blockquote></div>
</blockquote>