Nathan Baum wrote:
> On Mon, 7 Aug 2006, Pascal Bourguignon wrote:
> > As for type inference, what more do you want than:
> >
> > * (defun k (x) (car (+ 1 x)))
> > ; in: LAMBDA NIL
> > ; (CAR (+ 1 X))
> > ;
> > ; caught WARNING:
> > ; Asserted type LIST conflicts with derived type (VALUES NUMBER &OPTIONAL).
> > ; See also:
> > ; The SBCL Manual, Node "Handling of Types"
> > ;
> > ; compilation unit finished
> > ; caught 1 WARNING condition
>
> Sure, but that isn't a requirement of the standard.
Now if only we didn't /have/ a standard, that problem would nicely go
away.