X-Git-Url: http://christophe.rhodes.io/gitweb/?p=specializable.git;a=blobdiff_plain;f=signum-specializer.lisp;fp=signum-specializer.lisp;h=ab7c0de346b2470adf65d7fee5c03b4ef93470f1;hp=a5d21fa2d5ca1b2c026813a3f60384d34dbe42bb;hb=0ec84041118d2b84f0cdb4f3578e63aa1fae6678;hpb=053eaf6bdc566da3f0ef40ed06e4de0a1adbdeec diff --git a/signum-specializer.lisp b/signum-specializer.lisp index a5d21fa..ab7c0de 100644 --- a/signum-specializer.lisp +++ b/signum-specializer.lisp @@ -63,7 +63,10 @@ (defmethod fact ((n (signum 0))) 1) (defmethod fact ((n (signum 1))) (* n (fact (1- n)))) (assert (eql (fact 6) 720)) - (assert (eql (fact 6.0) 720.0)))) + (assert (eql (fact 6.0) 720.0)) + (defmethod no-applicable-method ((gf (eql #'fact)) &rest args) + 'gotcha) + (assert (eql (fact -6) 'gotcha)))) (eval '(progn