X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcode%2Ferror.lisp;h=daa38c7fc3aac491c2151a78f5364416fa6acf57;hb=fea8ea02847ddc0864546a02480fb3e97d6fa318;hp=f871e902d05533f9b68163e87d9d9f49185d95a6;hpb=0332a8dfdfffccb839cd55ddb682c2d03785b376;p=sbcl.git

diff --git a/src/code/error.lisp b/src/code/error.lisp
index f871e90..daa38c7 100644
--- a/src/code/error.lisp
+++ b/src/code/error.lisp
@@ -70,6 +70,61 @@
 	      (case-failure-name condition)
 	      (case-failure-possibilities condition)))))
 
+(define-condition compiled-program-error (encapsulated-condition program-error)
+  ((source :initarg :source :reader program-error-source))
+  (:report (lambda (condition stream)
+             (let ((source (program-error-source condition)))
+	       ;; Source may be either a list or string, and
+	       ;; string needs to be printed without escapes.
+	       (format stream "Execution of a form compiled with errors.~%~
+                               Form:~%  ~
+                               ~:[~S~;~A~]~%~
+                               Compile-time-error:~%  "
+		       (stringp source) source)
+	       (print-object (encapsulated-condition condition) stream)))))
+
+(def!method make-load-form ((condition compiled-program-error) &optional env)
+  (let ((source (program-error-source condition)))
+    ;; Safe since the encapsulated condition shouldn't contain
+    ;; references back up to the main condition. The source needs to
+    ;; be converted to a string, since it may contain arbitrary
+    ;; unexternalizable objects.
+    `(make-condition 'compiled-program-error
+		     :condition ,(make-condition-load-form
+				  (encapsulated-condition condition) env)
+		     :source ,(if (stringp source)
+				  source
+				  (write-to-string
+				   source :pretty t :circle t :escape t :readably nil)))))
+
+(define-condition make-load-form-error (encapsulated-condition error)
+  ((object :initarg :object :reader make-load-form-error-object))
+  (:report (lambda (condition stream)
+	     (let ((object (make-load-form-error-object condition)))
+	       ;; If the MAKE-LOAD-FORM-ERROR itself has been
+	       ;; externalized, the object will only have it's string
+	       ;; representation.
+	       (format stream "~@<Unable to externalize ~:[~S~;~A~], ~
+                              error from ~S:~:@>~%  "
+		       (stringp object)
+		       object
+		       'make-load-form)
+	       (print-object (encapsulated-condition condition) stream)))))
+
+(def!method make-load-form ((condition make-load-form-error) &optional env)
+  (let ((object (make-load-form-error-object condition)))
+    ;; Safe, because neither the object nor the encapsulated condition
+    ;; should contain any references to the error itself. However, the
+    ;; object will need to be converted to its string representation,
+    ;; since the chances are that it's not externalizable.
+    `(make-condition 'make-load-form-error
+		     :condition ,(make-condition-load-form
+				  (encapsulated-condition condition) env)
+		     :object ,(if (stringp object)
+				  object
+				  (write-to-string
+				   object :pretty t :circle t :escape t :readably nil)))))
+
 (define-condition simple-control-error (simple-condition control-error) ())
 (define-condition simple-file-error    (simple-condition file-error)    ())
 (define-condition simple-program-error (simple-condition program-error) ())