Changeset 12619

Timestamp:

04/16/10 13:41:14 (14 years ago)

Author:

Mark Evenson

Message:

Incorporate an ASDF2 snapshot as the base ASDF.
Verify load of classfiles for non-zero values of SAFETY.

File:

• trunk/abcl/src/org/armedbear/lisp/compile-file.lisp (modified) (1 diff)

trunk/abcl/src/org/armedbear/lisp/compile-file.lisp

@@ -69 +69 @@
 
 (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* 0) 
+    (and classfile
+         (let ((*load-truename* *output-file-pathname*))
+           (report-error
+            (load-compiled-function classfile))))
+    t))
+    
 (declaim (ftype (function (t) t) process-defconstant))
 (defun process-defconstant (form)