On Jan 1, 2013, at 21:36, Pascal Costanza pc@p-cos.net wrote:
OK, this looks pretty good. More and more of my tests succeed.
I am now running into an issue which is admittedly not a bug in the strict sense, but I would encourage you to consider changing the existing behavior anyway: In ensure-generic-function-using-class, abcl is making a few sanity checks and issuing errors, and it is correct to do so according to the HyperSpec. However, since they are done already at such an early stage, some useful MOP idioms are not easily expressible, or at least need to be expressed differently, and I think it would be better to perform the checks at a later stage, for example inside shared-initialize.
Hi Pascal, r14347 moves the check for lambda list congruence to reinitialize-instance :before. I chose this location instead of shared-initialize since only in this case can we have existing methods. Changing method-class is actually allowed according to the hyperspec so that test is gone. I only did light testing (basically, building abcl and running ansi-tests) but I trust you'll let me know when something's broken. :)
Rudi