Re: [Sbcl-devel] type error I can't figure out

[Christophe R. <cs...@ca...>]

Alan Shields <Ala...@om...> writes:

> With the following four lines:
> ---------------------
> (defclass foo () ())
>
> (defmethod parse-foo ((bar foo))
>   (call-next-method))
>
> --------------------
>
> Note that it doesn't matter whether or not you declare a generic method
> beforehand.
>
> With 0.9.5 and 0.9.4.65 I get a type warning.

I can't reproduce this, I'm afraid.  Do you have anything in your
~/.sbclrc?  (It's entirely possible that with the removal of INSTANCE
and FUNCALLABLE-INSTANCE classes and the effect that had on the type
system, some inference which used to be made isn't being made; but I
can't make it happen just like that).

Cheers,

Christophe