X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Finterr.lisp;h=4ee10eef89819d77785c7aca40d462273a925071;hb=5bf4a6a677c80a71dfa31b5c9c374f986594392f;hp=2ff5f81b3e4208a382cf5f84747d3445d80c79df;hpb=ee61a0d8cefb5ccfba266a1e0407415adb88b150;p=sbcl.git

diff --git a/src/code/interr.lisp b/src/code/interr.lisp
index 2ff5f81..4ee10ee 100644
--- a/src/code/interr.lisp
+++ b/src/code/interr.lisp
@@ -250,10 +250,12 @@
 	 :format-arguments (list key-name)))
 
 (deferr invalid-array-index-error (array bound index)
-  (error 'simple-error
+  (error 'simple-type-error
 	 :format-control
 	 "invalid array index ~W for ~S (should be nonnegative and <~W)"
-	 :format-arguments (list index array bound)))
+	 :format-arguments (list index array bound)
+	 :datum index
+	 :expected-type `(integer 0 (,bound))))
 
 (deferr object-not-simple-array-error (object)
   (error 'type-error
@@ -448,10 +450,17 @@
      (/show0 "about to bind ERROR-NUMBER and ARGUMENTS")
      (multiple-value-bind (error-number arguments)
 	 (sb!vm:internal-error-args alien-context)
+
+       ;; There's a limit to how much error reporting we can usefully
+       ;; do before initialization is complete, but try to be a little
+       ;; bit helpful before we die.
        (/show0 "back from INTERNAL-ERROR-ARGS, ERROR-NUMBER=..")
        (/hexstr error-number)
        (/show0 "cold/low ARGUMENTS=..")
        (/hexstr arguments)
+       (unless *cold-init-complete-p*
+	 (%primitive print "can't recover from error in cold init, halting")
+	 (%primitive sb!c:halt))
 
        (multiple-value-bind (name sb!debug:*stack-top-hint*)
 	   (find-interrupted-name)