Wed Feb 3 09:53:59 UTC 2010 pix@kepibu.org
* These are no longer failures. Woo!
diff -rN -u old-cl-unification-1/test/unification-tests.lisp new-cl-unification-1/test/unification-tests.lisp
--- old-cl-unification-1/test/unification-tests.lisp 2013-07-21 19:26:14.000000000 +0000
+++ new-cl-unification-1/test/unification-tests.lisp 2013-07-21 19:26:14.000000000 +0000
@@ -215,13 +215,11 @@
(test-error (match ('(x) '(x) :errorp nil)
(error 'inner-error))
- :condition-type 'inner-error
- :known-failure t)
+ :condition-type 'inner-error)
(test-error (matchf ((x) '(x) :errorp nil)
(error 'inner-error))
- :condition-type 'inner-error
- :known-failure t)
+ :condition-type 'inner-error)
(with-tests (:name "final t-or-otherwise")
(test :success (matching ()
@@ -253,15 +251,13 @@
('(y) :fail)
('(x) (error 'inner-error))
('(?x) x))
- :condition-type 'inner-error
- :known-failure t)
+ :condition-type 'inner-error)
(test-error (matchf-case ('(x))
((y) :fail)
((x) (error 'inner-error))
((?x) x))
- :condition-type 'inner-error
- :known-failure t)
+ :condition-type 'inner-error)
(test 'sym (match-case ('(sym))
('(a) :fail)