X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fnode.lisp;h=e0ee5cb19974df21249d089e91ed85ae85e75b48;hb=28b2447f2775779fe49fd024d8cce069060431c6;hp=3c96b070ab8db9ef3c0aa9f5073063ea0775d96f;hpb=013da4580d11f9174babda0781d3b42431ec2c4d;p=sbcl.git

diff --git a/src/compiler/node.lisp b/src/compiler/node.lisp
index 3c96b07..e0ee5cb 100644
--- a/src/compiler/node.lisp
+++ b/src/compiler/node.lisp
@@ -624,11 +624,12 @@
   ;;  :DECLARED, from a declaration.
   ;;  :ASSUMED, from uses of the object.
   ;;  :DEFINED, from examination of the definition.
+  ;;  :DEFINED-METHOD, implicit, piecemeal declarations from CLOS.
   ;; FIXME: This should be a named type. (LEAF-WHERE-FROM? Or
   ;; perhaps just WHERE-FROM, since it's not just used in LEAF,
   ;; but also in various DEFINE-INFO-TYPEs in globaldb.lisp,
   ;; and very likely elsewhere too.)
-  (where-from :assumed :type (member :declared :assumed :defined))
+  (where-from :assumed :type (member :declared :assumed :defined :defined-method))
   ;; list of the REF nodes for this leaf
   (refs () :type list)
   ;; true if there was ever a REF or SET node for this leaf. This may