13:51:32beachWhen I compute applicable methods and when I compute the discriminating function of a generic function, at some point I was worried about using SORT, REDUCE, etc., because in SICL I might define them as generic functions. I was afraid of causing metastability problems if I even have to compute the applicable methods or compute the discriminating function SORT, REDUCE, etc.
13:51:33beachBut now I think there is no problem, just as there is no problem with computing the discriminating function of COMPUTE-DISCRIMINATING-FUNCTION. The installed discriminating function can handle the call, and only at the very end is it replaced with a new one.