Hi,

On 22 Dec 2017, at 11:49, Didier Verna <didier@lrde.epita.fr> wrote:

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?

Unfortunately, method combinations didn’t get a lot of love in AMOP, which means there is not a lot you can really do in a portable way. The discriminating function calls compute-effictive-method to determine the effective method, but is allowed to cache the results of compute-effective-method. So the only reliable portable way to ensure that new effective methods are computed is by calling add-method, remove-method, initialize-instance, or reinitialize-instance. (See the AMOP entry for compute-discriminating-function.) This normally should mean that the most straightforward way to install a new method combination is by calling (reinitialize-instance gf :method-combination mc) - except that it’s not clear what the argument to :method-combination is supposed to look like. (It’s apparently meant to be the result of find-method-combination, except that it’s not clear what the arguments to find-method-combination should look like, especially the method combination options.) ensure-generic-function doesn’t help either. (According to AMOP: “The handling of the :method-combination option is not specified.”) So the next best option is (eval `(defgeneric …)) :-} I’m not aware of a portable way to flush caches directly in CLOS. (Some subclasses of generic-function may not even have caches…) Pascal -- Pascal Costanza