On Fri, Dec 30, 2011 at 11:36 PM, Juan Jose Garcia-Ripoll <
juanjose.garciarip...@googlemail.com> wrote:
> * Along this line, *EXT:CHECK-VALUE* 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).
>
I have change the syntax of this special form, because it makes it more
convenient to reuse it:
- ECL introduces two special forms, EXT:CHECKED-VALUE and EXT:TRULY-THE,
which
have the same syntax as THE, but in the first case lead to a type
assertion
at low safety levels and in the second case lead to an unchecked
declaration. By default THE maps to EXT:CHECKED-VALUE (as in SBCL), but
this
may be controlled globally using the declaration/proclamation
EXT:THE-IS-CHECKED.
I also changed LOOP so that it optimizes better the assignments to
variables, avoiding the new implicit type checking in ECL.
Juanjo
--
Instituto de FĂsica Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
------------------------------------------------------------------------------
Ridiculously easy VDI. With Citrix VDI-in-a-Box, you don't need a complex
infrastructure or vast IT resources to deliver seamless, secure access to
virtual desktops. With this all-in-one solution, easily deploy virtual
desktops for less than the cost of PCs and save 60% on VDI infrastructure
costs. Try it free! http://p.sf.net/sfu/Citrix-VDIinabox
_______________________________________________
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list