X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fcondition.lisp;h=39b93b075cc0ae3cdf8e58317605f1df95557779;hb=e67cc0f952040723f7d0f37ddb88fe895f4b1464;hp=1511705c8148399865df9c2634fd813afd0e8801;hpb=8a8a8922802460741d6f8f6c11d71b1f414cf3a7;p=sbcl.git

diff --git a/src/code/condition.lisp b/src/code/condition.lisp
index 1511705..39b93b0 100644
--- a/src/code/condition.lisp
+++ b/src/code/condition.lisp
@@ -13,6 +13,26 @@
 
 (in-package "SB!KERNEL")
 
+;;;; miscellaneous support utilities
+
+;;; Signalling an error when trying to print an error condition is
+;;; generally a PITA, so whatever the failure encountered when
+;;; wondering about FILE-POSITION within a condition printer, 'tis
+;;; better silently to give up than to try to complain. 
+(defun file-position-or-nil-for-error (stream &optional (pos nil posp))
+  ;; Arguably FILE-POSITION shouldn't be signalling errors at all; but
+  ;; "NIL if this cannot be determined" in the ANSI spec doesn't seem
+  ;; absolutely unambiguously to prohibit errors when, e.g., STREAM
+  ;; has been closed so that FILE-POSITION is a nonsense question. So
+  ;; my (WHN) impression is that the conservative approach is to
+  ;; IGNORE-ERRORS. (I encountered this failure from within a homebrew
+  ;; defsystemish operation where the ERROR-STREAM had been CL:CLOSEd,
+  ;; I think by nonlocally exiting through a WITH-OPEN-FILE, by the
+  ;; time an error was reported.)
+  (if posp
+      (ignore-errors (file-position stream pos))
+      (ignore-errors (file-position stream))))
+
 ;;;; the CONDITION class
 
 (/show0 "condition.lisp 20")
@@ -233,8 +253,7 @@
   "Make an instance of a condition object using the specified initargs."
   ;; Note: ANSI specifies no exceptional situations in this function.
   ;; signalling simple-type-error would not be wrong.
-  (let* ((thing (if (symbolp thing)
-		    (find-classoid thing)
+  (let* ((thing (or (and (symbolp thing) (find-classoid thing nil))
 		    thing))
 	 (class (typecase thing
 		  (condition-classoid thing)
@@ -690,7 +709,7 @@
   (:report
    (lambda (condition stream)
      (let* ((error-stream (stream-error-stream condition))
-	    (pos (file-position error-stream)))
+	    (pos (file-position-or-nil-for-error error-stream)))
        (let (lineno colno)
 	 (when (and pos
 		    (< pos sb!xc:array-dimension-limit)
@@ -708,13 +727,14 @@
 		    (file-position error-stream :start))
 	   (let ((string
 		  (make-string pos
-			       :element-type (stream-element-type error-stream))))
+			       :element-type (stream-element-type
+					      error-stream))))
 	     (when (= pos (read-sequence string error-stream))
 	       (setq lineno (1+ (count #\Newline string))
 		     colno (- pos
 			      (or (position #\Newline string :from-end t) -1)
 			      1))))
-	   (file-position error-stream pos))
+	   (file-position-or-nil-for-error error-stream pos))
 	 (format stream
 		 "READER-ERROR ~@[at ~W ~]~
                   ~@[(line ~W~]~@[, column ~W) ~]~
@@ -755,6 +775,8 @@
               <http://sbcl.sourceforge.net/>.~:@>"
 	     '((fmakunbound 'compile))))))
 
+(define-condition simple-storage-condition (storage-condition simple-condition) ())
+
 ;;; a condition for use in stubs for operations which aren't supported
 ;;; on some platforms
 ;;;
@@ -822,7 +844,8 @@
 (def!method print-object :around ((o reference-condition) s)
   (call-next-method)
   (unless (or *print-escape* *print-readably*)
-    (when *print-condition-references*
+    (when (and *print-condition-references*
+               (reference-condition-references o))
       (format s "~&See also:~%")
       (pprint-logical-block (s nil :per-line-prefix "  ")
 	(do* ((rs (reference-condition-references o) (cdr rs))
@@ -894,6 +917,11 @@
 (define-condition extension-failure (reference-condition simple-error)
   ())
 
+(define-condition structure-initarg-not-keyword
+    (reference-condition simple-style-warning)
+  ()
+  (:default-initargs :references (list '(:ansi-cl :section (2 4 8 13)))))
+
 #!+sb-package-locks
 (progn
 
@@ -936,6 +964,21 @@ symbol that caused the violation is accessed by the function
 SB-EXT:PACKAGE-LOCKED-ERROR-SYMBOL."))
 
 ) ; progn
+
+(define-condition undefined-alien-error (error) ())
+
+(define-condition undefined-alien-variable-error (undefined-alien-error) ()
+  (:report
+   (lambda (condition stream)
+     (declare (ignore condition))
+     (format stream "Attempt to access an undefined alien variable."))))
+
+(define-condition undefined-alien-function-error (undefined-alien-error) ()
+  (:report
+   (lambda (condition stream)
+     (declare (ignore condition))
+     (format stream "Attempt to call an undefined alien function."))))
+
 
 ;;;; various other (not specified by ANSI) CONDITIONs
 ;;;;
@@ -1069,13 +1112,20 @@ SB-EXT:PACKAGE-LOCKED-ERROR-SYMBOL."))
    (lambda (condition stream)
      (let ((error-stream (stream-error-stream condition)))
        (format stream "READER-ERROR ~@[at ~W ~]on ~S:~%~?~%Original error: ~A"
-	       (file-position error-stream) error-stream
+	       (file-position-or-nil-for-error error-stream) error-stream
 	       (reader-error-format-control condition)
 	       (reader-error-format-arguments condition)
 	       (reader-impossible-number-error-error condition))))))
 
 (define-condition timeout (serious-condition) ())
 
+(define-condition declaration-type-conflict-error (reference-condition
+						   simple-error)
+  ()
+  (:default-initargs
+      :format-control "symbol ~S cannot be both the name of a type and the name of a declaration"
+    :references (list '(:ansi-cl :section (3 8 21)))))
+
 ;;; Single stepping conditions
 
 (define-condition step-condition ()