Re: Anonymous Generic Function Proposal (Draft 2)

[Danny Bobrow <Bobrow.pa@Xerox.COM>]

    When WITH-ADDED-METHODS exits, the added methods are removed.
    Any flow of control out of the WITH-ADDED-METHODS causes the
    methods to be removed.


I still find this ambiguous.

Consider

(defmethod fie (x) 0)

(defun foo (x)
  (with-added-methods fie ((lambda ((x P1)) 17))
      (cons (fie x) (fum x)))

(defun fum (y) (fie y))

(foo (make-instance 'P1))
  ==> (17 . 17)
  or
  ==> (17 . 0)