Hi,
Computing an effective method depends on the generic function's method combination. But is it also the case for computing the discriminating function?
I don't see why it should in theory, but evidence seems to suggest otherwise[1]. Maybe it does for technical reasons?
Thanks.
Footnotes: [1] In SBCL for instance, flushing the effective method cache is not enough for direct modifications to a generic function's method combination to take effect on the next call.