<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><font class="Apple-style-span" color="#0000FF" face="'Gill Sans'">Possibly, but it would require some fairly strong type analysis in the compiler. And of course it is not fully general.</font></div><div>
<br><div><div>On 21 Jan 2010, at 13:02, <a href="mailto:hendrik@topoi.pooq.com">hendrik@topoi.pooq.com</a> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>On Thu, Jan 21, 2010 at 03:36:24AM -0500, Tony Hosking wrote:<br><blockquote type="cite">Subranges have a memory size that depends on the size of the subrange. <br></blockquote><blockquote type="cite">All arithmetic is performed using the precision of the base type <br></blockquote><blockquote type="cite">however.<br></blockquote><br>If the compiler can prove it makes no difference, shorter arithmetic is <br>sometimes possible.<br><br>-- hendrik<br></div></blockquote></div><br></div></body></html>