[Ecls-list] Apparent bug in type derivation for TYPEP

[Juan Jose Garcia-Ripoll]

On Sun, Jun 2, 2013 at 11:28 PM, Eric Marsden <eric.marsden at free.fr> wrote:

> Thanks. I'll note that it doesn't do this rewrite for interpreted code,
> which leads to different results for interpreted and compiled code
> (probably is allowed by CLtS 3.2.2.3).


The interpreter cannot do the optimizations that the compiler does. Also,
the same function may or may not return the same value under different
optimizations or even TYPEP need not return the same value on every
invocation.

Juanjo

-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20130602/c8f93a60/attachment.html>