<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>you can't check any expression in an INTERFACE, because it'd be illegal syntax.<br>You can check do so in a Larch /Modula-3 actually.<br>Thanks in advance<br> <br><br><br>--- El <b>mié, 5/9/12, Dragiša Durić <i><dragisha@m3w.org></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Dragiša Durić <dragisha@m3w.org><br>Asunto: Re: [M3devel] M3CG<br>Para: "Jay K" <jay.krell@cornell.edu><br>CC: "m3devel" <m3devel@elegosoft.com><br>Fecha: miércoles, 5 de septiembre, 2012 16:22<br><br><div id="yiv1848675611"><div>Why not?<br><div>
<span class="yiv1848675611Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; font-size: medium;"><span class="yiv1848675611Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; font-size: medium;"><div style=""><div>--</div><div>Divided by a common language</div><div><br></div><div>Dragiša Durić</div><div><a rel="nofollow" ymailto="mailto:dragisha@m3w.org" target="_blank"
 href="/mc/compose?to=dragisha@m3w.org">dragisha@m3w.org</a></div><div><br></div></div></span><br class="yiv1848675611Apple-interchange-newline"></span><br class="yiv1848675611Apple-interchange-newline">
</div>
<br><div><div>On Sep 5, 2012, at 8:34 PM, Jay K wrote:</div><br class="yiv1848675611Apple-interchange-newline"><blockquote type="cite"><span class="yiv1848675611Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; font-size: medium;"><span class="yiv1848675611Apple-style-span" style="font-family: Calibri; font-size: 16px;">Can we just put <* ASSERT BITSIZE(TypeUID) <= 32 *> in the .i3 file? Or elsewhere?<br> </span></span></blockquote></div><br></div></div></blockquote></td></tr></table>