X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcondition.impure.lisp;h=f7ea61a2b917ca40d7fb735834c95ca804798a41;hb=960a9fbd48e695e5b970a01315aa687ab59dc3fe;hp=cdae2866c42c31440cc2afed7088d982aa9a3d0a;hpb=175c318c892b0627b36fa3c4db66f59680242204;p=sbcl.git

diff --git a/tests/condition.impure.lisp b/tests/condition.impure.lisp
index cdae286..f7ea61a 100644
--- a/tests/condition.impure.lisp
+++ b/tests/condition.impure.lisp
@@ -46,4 +46,65 @@
 (assert (typep (sb-mop:class-prototype (find-class 'counted-condition))
                '(and condition counted-condition)))
 
-;;; success
+(define-condition picky-condition () ())
+(restart-case
+    (handler-case
+        (error 'picky-condition)
+      (picky-condition (c)
+        (assert (eq (car (compute-restarts)) (car (compute-restarts c))))))
+  (picky-restart ()
+    :report "Do nothing."
+    :test (lambda (c)
+            (typep c '(or null picky-condition)))
+    'ok))
+
+;;; adapted from Helmut Eller on cmucl-imp
+(assert (eq 'it
+            (restart-case
+                (handler-case
+                    (error 'picky-condition)
+                  (picky-condition (c)
+                    (invoke-restart (find-restart 'give-it c))))
+              (give-it ()
+                :test (lambda (c) (typep c 'picky-condition))
+                'it))))
+
+;;; In sbcl-1.0.9, a condition derived from CL:STREAM-ERROR (or
+;;; CL:READER-ERROR or or CL:PARSE-ERROR) didn't inherit a usable
+;;; PRINT-OBJECT method --- the PRINT-OBJECT code implicitly assumed
+;;; that CL:STREAM-ERROR was like a SIMPLE-CONDITION, with args and
+;;; format control, which seems to be a preANSIism.
+;;;
+;;; (The spec for DEFINE-CONDITION says that if :REPORT is not
+;;; supplied, "information about how to report this type of condition
+;;; is inherited from the PARENT-TYPE." The spec doesn't explicitly
+;;; forbid the inherited printer from trying to read slots which
+;;; aren't portably specified for the condition, but it doesn't seem
+;;; reasonable for the inherited printer to do so. It does seem
+;;; reasonable for app code to derive a new condition from
+;;; CL:READER-ERROR (perhaps for an error in a readmacro) or
+;;; CL:PARSE-ERROR (perhaps for an error in an operator
+;;; READ-MY-FAVORITE-DATA-STRUCTURE) or CL:STREAM-ERROR (dunno why
+;;; offhand, but perhaps for some Gray-stream-ish reason), not define
+;;; a :REPORT method for its new condition, and expect to inherit from
+;;; the application's printer all the cruft required for describing
+;;; the location of the error in the input.)
+(define-condition my-stream-error-1-0-9 (stream-error) ())
+(define-condition parse-foo-error-1-0-9 (parse-error) ())
+(define-condition read-bar-error-1-0-9 (reader-error) ())
+(let (;; instances created initializing all the slots specified in
+      ;; ANSI CL
+      (parse-foo-error-1-0-9 (make-condition 'parse-foo-error-1-0-9
+                                             :stream *standard-input*))
+      (read-foo-error-1-0-9 (make-condition 'read-bar-error-1-0-9
+                                            :stream *standard-input*))
+      (my-stream-error-1-0-9 (make-condition 'my-stream-error-1-0-9
+                                             :stream *standard-input*)))
+  ;; should be printable
+  (dolist (c (list
+              my-stream-error-1-0-9
+              parse-foo-error-1-0-9
+              read-foo-error-1-0-9))
+    ;; whether escaped or not
+    (dolist (*print-escape* '(nil t))
+      (write c :stream (make-string-output-stream)))))