Re: [Sbcl-devel] Re: [Sbcl-commits] CVS: sbcl BUGS,1.240,1.241 version.lisp-expr,1.669,1.670

[Alexey D. <ade...@co...>]

Christophe Rhodes <cs...@ca...> writes:

> > The result is declared to be SIMPLE-ARRAY, but RESULT-TYPE-FIRST-ARG
> > returns ``complex array''. The solution is to rewrite type deriver in
> > this and related functions to ``simplify'' argument types. I'll take a
> > look at it tomorrow, if it remain.
> 
> Aha.  Good catch.  Is there a way of writing an AVER somewhere to catch
> breaking of this kind of invariant?

(setq sb-c::*check-consistency* t)

(look at DERIVE-NODE-TYPE).

-- 
Regards,
Alexey Dejneka