<div class="gmail_quote">On Fri, Dec 30, 2011 at 11:36 PM, Juan Jose Garcia-Ripoll <span dir="ltr"><<a href="mailto:juanjose.garciaripoll@googlemail.com">juanjose.garciaripoll@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div>* Along this line, <b>EXT:CHECK-VALUE</b> is a new primitive that inserts those checks. Roughly the syntax is (EXT:CHECK-VALUE value non-evaluated-type-name), as in (CHECK-VALUE X INTEGER).</div><div></div></blockquote>

</div><div><br></div>I have change the syntax of this special form, because it makes it more convenient to reuse it:<br><br><div> - ECL introduces two special forms, EXT:CHECKED-VALUE and EXT:TRULY-THE, which</div><div>   have the same syntax as THE, but in the first case lead to a type assertion</div>

<div>   at low safety levels and in the second case lead to an unchecked</div><div>   declaration. By default THE maps to EXT:CHECKED-VALUE (as in SBCL), but this</div><div>   may be controlled globally using the declaration/proclamation</div>

<div>   EXT:THE-IS-CHECKED.</div><div><br></div><div>I also changed LOOP so that it optimizes better the assignments to variables, avoiding the new implicit type checking in ECL.</div><div><br></div><div>Juanjo</div><div>

<br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>