problem with error reporting on undefined class during make instance

[ehuelsmann]

CL-USER(25): (defclass c (d) ((q :initarg :q)))
#<STANDARD-CLASS C {B5BEE0}>

CL-USER(26): (make-instance 'c :q t)
Debugger invoked on condition of type PROGRAM-ERROR:

Invalid initarg :Q.

The error should say instead something about d not being defined.

This in build of a freshly updated trunk abcl

[Mahmud Mohamed]

Patch to signal an error if make-instance applied to a class with unfinalized precendence list

[ehuelsmann]

mmohamed, thanks for the patch, unfortunately, it completely disables the possibility (supported by CLHS) to forward-reference classes like this:

(defclass b (a) ())

(defclass a () ())

(make-instance 'b)

I'm affraid the patch isn't quite good enough. Thank you very much for the effort though, it's really much appreciated.

[ehuelsmann]

Alternative solution, adding to MAKE-INSTANCE instead

[ehuelsmann]

mmohamed, I'm thinking along the lines of the patch I just attached, but that's not good enough, because it doesn't say there's a forward-referenced class involved.

[ehuelsmann]

With the prototype patch, this ticket should be doable in the relatively short term.

[ehuelsmann]

Fixed in r13217: the error is now about finalizing a FORWARD-REFERENCED-CLASS being impossible.