mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2025-12-06 02:40:26 -08:00
Code Issues Projects Releases Packages Wiki Activity

tests: add a test for the change in congruent-lambda-p

Browse source
This commit is contained in:
Daniel Kochmański 2020-04-07 13:43:12 +02:00
parent 896e7c5895
commit b64da63efd
1 changed files with 21 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

23
src/tests/normal-tests/metaobject-protocol.lsp
View file

@ -674,5 +674,24 @@ the metaclass")
;;; lead to the infinite recursion by making all its instances ;;; lead to the infinite recursion by making all its instances
;;; obsolete (including its own slots!). ;;; obsolete (including its own slots!).
(test mop.0025.xxx (test mop.0025.xxx
(clos:finalize-inheritance (finishes
(find-class 'clos:standard-effective-slot-definition))) (clos:finalize-inheritance
(find-class 'clos:standard-effective-slot-definition))))
;;; Date 2020-04-07
;;; URL: https://gitlab.com/embeddable-common-lisp/ecl/-/merge_requests/194
;;; Description
;;;
;;; Some implementations extend the lambda list congruency for
;;; generic functions and methods by allowing methods not accept
;;; keys mentioned in the generic function lambda list if it has
;;; &allow-other-keys. We follow the suit for compatibility with a
;;; bad code.
(ext:with-clean-symbols (foo bar)
(test mop.0026.congruent-ll
(defgeneric foo (arg1 &key arg2 &allow-other-keys))
(finishes (defmethod foo ((arg1 integer) &key arg3)))
(finishes (defmethod foo ((arg1 string) &key arg3 &allow-other-keys)))
(defgeneric bar (arg1 &key arg2))
(finishes (defmethod bar ((arg1 string) &key arg3 &allow-other-keys)))
(signals error (defmethod bar ((arg1 integer) &key arg3)))))