<font face="courier new,monospace">maybe:<br></font><div><font class="Apple-style-span" face="'courier new', monospace"><br></font></div><div><font class="Apple-style-span" face="'courier new', monospace">print(typeof(expression))<br>

</font></div><div><font class="Apple-style-span" face="'courier new', monospace"><br></font></div><div><font class="Apple-style-span" face="'courier new', monospace">for each of these expressions:</font></div>

<div><font class="Apple-style-span" face="'courier new', monospace"><br></font></div><div><font class="Apple-style-span" face="'courier new', monospace"><span class="Apple-style-span" style="font-family: arial; ">1. LOOPHOLE(DUMMY_VAR, REAL); </span></font></div>

<div><font class="Apple-style-span" face="'courier new', monospace"><span class="Apple-style-span" style="font-family: arial; "><br></span></font></div><div>2. NBOFrom(LOOPHOLE(f, Ctypes.unsigned))</div><div><font class="Apple-style-span" face="'courier new', monospace"><span class="Apple-style-span" style="font-family: arial; "><br>

</span></font></div><div><font class="Apple-style-span" face="'courier new', monospace"><span class="Apple-style-span" style="font-family: arial; ">3. LOOPHOLE(f, Ctypes.unsigned)</span></font></div><div><div class="gmail_quote">

<br></div><div class="gmail_quote">4. LOOPHOLE(NBOFrom(LOOPHOLE(f, Ctypes.unsigned)), REAL); <- line 28, of course :)</div><div class="gmail_quote"><br></div><div class="gmail_quote"><br></div><div class="gmail_quote">

is there a typeof operator in modula3, or a typeid operator in modula3?</div><div class="gmail_quote"><br></div><div class="gmail_quote"><br></div><div class="gmail_quote"><br></div><div class="gmail_quote">On Sat, Aug 20, 2011 at 5:27 PM, Daniel Alejandro Benavides D. <span dir="ltr"><<a href="mailto:dabenavidesd@yahoo.es">dabenavidesd@yahoo.es</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi all:<br>
I think this is just a failed check (an over check) of what it is suppose to think, is better to assert type errors than false execution ill-behavior (since this is not the case) one's assumption may be over checked, and thus you get the type error (otherwise you would like need some to think like this, I'm not against it just that, but this is pure dreams in one big head):<br>


<a href="http://www.dorje.com/netstuff/jokes/prog.smurf" target="_blank">http://www.dorje.com/netstuff/jokes/prog.smurf</a><br>
<br>
<a href="http://venus.is.s.u-tokyo.ac.jp/amo/AMO-Berlin/index.html" target="_blank">http://venus.is.s.u-tokyo.ac.jp/amo/AMO-Berlin/index.html</a><br>
<br>
If you see it's akind of what you would want, type safe checking of C C++ superset of it with Obliq-like language. It's written in Gnu C. It's JIT<br>
<br>
Thanks in advance<br>
<br>
--- El sáb, 20/8/11, Dragiša Durić <<a href="mailto:dragisha@m3w.org">dragisha@m3w.org</a>> escribió:<br>
<br>
> De: Dragiša Durić <<a href="mailto:dragisha@m3w.org">dragisha@m3w.org</a>><br>
> Asunto: [M3devel] Never ending love with alignments, data sizes et al :)<br>
> Para: "m3devel" <<a href="mailto:m3devel@elegosoft.com">m3devel@elegosoft.com</a>><br>
> Fecha: sábado, 20 de agosto, 2011 13:40<br>
<div><div></div><div class="h5">> "../src/ArcGrid.m3", line 28:<br>
> LOOPHOLE: expression's size differs from type's<br>
><br>
> PROCEDURE SwapFloat(f: REAL): REAL =<br>
>   BEGIN<br>
>     RETURN LOOPHOLE(NBOFrom(LOOPHOLE(f,<br>
> Ctypes.unsigned)), REAL); <- line 28, of course :)<br>
>   END SwapFloat;<br>
><br>
> BITSIZE is 32 for both.<br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br>312-444-2124<div>Skype: f3l.headhunter</div><div>Casa: 8043901</div><div><br></div><div><br></div><br>
</div>