[armedbear-devel] Compilation bug in LET/LET* init-form

[Mark Evenson]

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))


-- 
"A screaming comes across the sky.  It has happened before, but there
is nothing to compare to it now."