DEFGENERIC doesn't create methods on same pass as creating generics

If you put the following snippet in a file and (LOAD ...) it or (COMPILE-FILE ...) it & (LOAD ...) the FASL:

(unless (fboundp 'foo)
  (defgeneric foo ()
    (:method () :foo)))

(defgeneric bar ()
  (:method () :bar))

Then, both (FDEFINITION 'FOO) and (FDEFINITION 'BAR) refer to generic functions, but #'FOO has no methods attached to it.

I'm not sure if this is technically permissible by the CLHS, but it is unexpected. CCL, SBCL, ABCL, CMUCL, and CLISP all end up with #'FOO having a method defined on it.

Note: Wrapping things in (EVAL-WHEN ...) doesn't help.

Changed title: DEFGENERIC doesn't create methods on same pass as creating generics → DEFGENERIC doesn't create methods on same pass as creating generics

Milestone changed to %ECL 16.1.3

Another sample case:

(defun xxx () (print "hi"))
(fmakunbound 'xxx)
(defmethod xxx () (print "bye"))
(xxx)

Also, if function xxx is defined upfront with defun, then compiled file

(fmakunbound 'xxx)
(defmethod xxx () (print "bye"))
(xxx)

results in:

> (compile-file "/tmp/xxx.lisp")

;;;
;;; Compiling /tmp/xxx.lisp.
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
;;;
;;; Compiling (DEFMETHOD XXX ...).
;;; Error:
;;;   in file xxx.lisp, position 51
;;;   at (DEFMETHOD XXX ...)
;;;   * The macro form (DEFMETHOD XXX NIL (PRINT "bye")) was not expanded successfully.
;;; Error detected:
;;; The symbol XXX is bound to an ordinary function and is not a valid name for a generic function
NIL
T
T

changed milestone to %ECL 16.2.0