1.0.43.7: update expected test failures on Darwin/x86-64
[sbcl.git] / tests / debug.impure.lisp
index 27283ae..b79e3f3 100644 (file)
 
   (with-test (:name (:undefined-function :bug-346)
               :fails-on '(or :alpha :ppc :sparc :mips
-                          (and :x86-64 (or :freebsd :darwin))))
+                          (and :x86-64 :freebsd)))
     (assert (verify-backtrace
              (lambda () (test #'optimized))
              (list *undefined-function-frame*
          (declare (optimize (speed 1) (debug 2))) ; no tail call elimination
          (funcall fun)))
   (with-test (:name (:divide-by-zero :bug-346)
-              :fails-on '(or :alpha (and :x86-64 :darwin)))   ; bug 346
+              :fails-on :alpha)  ; bug 346
     (assert (verify-backtrace (lambda () (test #'optimized))
                               (list '(/ 42 &rest)
                                     (list '(flet test) #'optimized)))))
   (with-test (:name (:divide-by-zero :bug-356)
-              :fails-on '(or :alpha (and :x86-64 :darwin)))   ; bug 356
+              :fails-on :alpha)  ; bug 356
     (assert (verify-backtrace (lambda () (test #'not-optimized))
                               (list '(/ 42 &rest)
                                     '((flet not-optimized))
 
 ;;; FIXME: This test really should be broken into smaller pieces
 (with-test (:name (:backtrace :misc)
-            :fails-on '(or (and :x86 (or :sunos)) (and :x86-64 :darwin)))
+            :fails-on '(and :x86 (or :sunos)))
   (write-line "//tl-xep")
   (with-details t
     (assert (verify-backtrace #'namestring
                           '(((lambda (x)) 13)
                             ((lambda (y)) 13))))
 
+(with-test (:name :clos-slot-typecheckfun-named)
+  (assert
+   (verify-backtrace
+    (lambda ()
+      (eval `(locally (declare (optimize safety))
+               (defclass clos-typecheck-test ()
+                 ((slot :type fixnum)))
+               (setf (slot-value (make-instance 'clos-typecheck-test) 'slot) t))))
+    '(((sb-pcl::slot-typecheck clos-typecheck-test slot) t)))))
+
+(with-test (:name :clos-emf-named)
+  (assert
+   (verify-backtrace
+    (lambda ()
+      (eval `(progn
+               (defmethod clos-emf-named-test ((x symbol)) x)
+               (defmethod clos-emf-named-test :before (x) (assert x))
+               (clos-emf-named-test nil))))
+    '(((sb-pcl::emf clos-emf-named-test) ? ? nil)))))
+
 ;;;; test TRACE
 
 (defun trace-this ()