id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
846	coops: define-method does not redefine	megane	felix winkelmann	"Below are two cases, first works as expected, second doesn't.

Case 1
(require-extension coops)

(define-class <a> ())

(define b (make <a>))

(define-method (foo (c <a>))
  (print ""foo v1 on "" c))

(define-method (foo (c <a>))
  (print ""foo v2 on "" c))

(foo b)

;; Output:
;; foo v2 on #<coops instance of `<a>'>

Case 2
(require-extension coops)

(define-class <a> ())

(define a (make <a>))

(define-method (foo (a <a>))
  (print ""foo v1 on "" a))

(foo a)

(define-method (foo (a <a>))
  (print ""foo v2 on "" a))

(foo a)

;; Output:
;; foo v1 on #<coops instance of `<a>'>
;; foo v1 on #<coops instance of `<a>'> <-- nothing changed"	defect	closed	major		extensions	4.7.x	fixed