Hi Sam,
> DIUC that the `uncallable-generic-function' behavior in mop.tst is a bug?
I would view it as a limitation. It would be good to mention it in the impnotes
http://clisp.org/impnotes/mop-clisp.html
Proposed wording: "It is not possible to create a class with metaclass
STANDARD-CLASS when specifying a superclass with metaclass
FUNCALLABLE-STANDARD-CLASS, even though VALIDATE-SUPERCLASS returns T for this
situation."
The rationale for this limitation is that in clisp, STANDARD-CLASS objects have
a certain memory layout, and FUNCALLABLE-STANDARD-CLASS objects have another
memory layout, and the contortions of making them compatible are not worth it
- given that the use-case is obscure and Allegro CL does/did not support it
either.
Bruno
|