I suggest considering that we re-enable the VERIFY-LOAD when maximum compiler safety is requested. Erik disabled this in svn r12015 to increase compilation speed.
--- a/src/org/armedbear/lisp/compile-file.lisp Sat Oct 31 11:51:27 2009 +0100 +++ b/src/org/armedbear/lisp/compile-file.lisp Fri Nov 06 13:42:26 2009 +0100 @@ -68,14 +68,13 @@ (assert nil))
(declaim (ftype (function (t) t) verify-load)) -;(defun verify-load (classfile) -; (and classfile -; (let ((*load-truename* *output-file-pathname*)) -; (report-error -; (load-compiled-function classfile))))) (defun verify-load (classfile) - (declare (ignore classfile)) - t) + (if (= *safety* 3) + (and classfile + (let ((*load-truename* *output-file-pathname*)) + (report-error + (load-compiled-function classfile)))) + t))