X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ferror.lisp;h=163c0e37bd7697f67adccb7ee7b625ac68c0a431;hb=2b596efa9a6b08a22bbdcdf88198c5d2af1d0335;hp=66a6ebca73cc87dff74f4ab4e880263d32218ddd;hpb=f5d283201d69a3187ee159d98a045987226e1fd2;p=sbcl.git diff --git a/src/code/error.lisp b/src/code/error.lisp index 66a6ebc..163c0e3 100644 --- a/src/code/error.lisp +++ b/src/code/error.lisp @@ -23,7 +23,34 @@ :format-control format-control :format-arguments format-arguments)) -(define-condition sb!kernel:layout-invalid (type-error) +;;; a utility for SIGNAL, ERROR, CERROR, WARN, COMPILER-NOTIFY and +;;; INVOKE-DEBUGGER: Parse the hairy argument conventions into a +;;; single argument that's directly usable by all the other routines. +(defun coerce-to-condition (datum arguments default-type fun-name) + (cond ((typep datum 'condition) + (if arguments + (cerror "Ignore the additional arguments." + 'simple-type-error + :datum arguments + :expected-type 'null + :format-control "You may not supply additional arguments ~ + when giving ~S to ~S." + :format-arguments (list datum fun-name))) + datum) + ((symbolp datum) ; roughly, (SUBTYPEP DATUM 'CONDITION) + (apply #'make-condition datum arguments)) + ((or (stringp datum) (functionp datum)) + (make-condition default-type + :format-control datum + :format-arguments arguments)) + (t + (error 'simple-type-error + :datum datum + :expected-type '(or symbol string) + :format-control "bad argument to ~S: ~S" + :format-arguments (list fun-name datum))))) + +(define-condition layout-invalid (type-error) () (:report (lambda (condition stream) @@ -31,7 +58,7 @@ "~@" - (sb!kernel:class-proper-name (type-error-expected-type condition)) + (classoid-proper-name (type-error-expected-type condition)) (type-error-datum condition))))) (define-condition case-failure (type-error) @@ -51,11 +78,6 @@ (define-condition simple-stream-error (simple-condition stream-error) ()) (define-condition simple-parse-error (simple-condition parse-error) ()) -;;; This condition is signalled whenever we make a UNKNOWN-TYPE so that -;;; compiler warnings can be emitted as appropriate. -(define-condition parse-unknown-type (condition) - ((specifier :reader parse-unknown-type-specifier :initarg :specifier))) - (define-condition control-stack-exhausted (storage-condition) () (:report