[Ecls-list] A few compiled results questions

[Matthew Mondor]

On Tue, 29 Oct 2013 22:59:50 +0100
Juan Jose Garcia-Ripoll <juanjose.garciaripoll at gmail.com> wrote:

[...]
> Internally, ECL converts this into
> 
> (LET* ((X (FOO)) (A X)) (DECLARE (FIXNUM A)) ...)
> 
> Now, since "A" is read only, it is replaced by the value X, which was not
> declared to be a FIXNUM. One could fix the transformer for LET to add a
> declaration on the temporary variables or, more simply, add (THE FIXNUM
> ...) around the value.
[...]

> Not really. Both should be equivalent for structures but the difference is
> that SETF has an analyzer for that, but ordinary function calls do not
> check whether the function names a slot accessor -- the code is there, but
> it is deactivated because it cannot be used with CLOS.

Thanks for the clues.
-- 
Matt