From: Christophe R. <cs...@ca...> - 2006-04-19 20:02:19
|
Levente M=C3=A9sz=C3=A1ros <lev...@gm...> writes: > This might or might not be new, > > I don't remember having it before 0.9.11. > ; caught WARNING: > ; Asserted type (MOD 1152921504606846975) conflicts with derived type > ; (VALUES (OR FUNCTION SB-PCL::METHOD-CALL SB-PCL::FAST-METHOD-CALL)=20 > &OPTIONAL). > ; See also: > ; The SBCL Manual, Node "Handling of Types" It's annoying, but it's not new: I believe it's been present since approximately forever. If I recall, the problem is that the instrumentation from step conditions destroys the type inference that would otherwise delete the code that is being warned about as unreachable. Cheers, Christophe |