[armedbear-cvs] r12619 - trunk/abcl/src/org/armedbear/lisp

[Mark Evenson]

Author: mevenson
Date: Fri Apr 16 09:41:14 2010
New Revision: 12619

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



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

Modified: trunk/abcl/src/org/armedbear/lisp/compile-file.lisp
==============================================================================
--- trunk/abcl/src/org/armedbear/lisp/compile-file.lisp	(original)
+++ trunk/abcl/src/org/armedbear/lisp/compile-file.lisp	Fri Apr 16 09:41:14 2010
@@ -68,15 +68,14 @@
   (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* 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)
   ;; "If a DEFCONSTANT form appears as a top level form, the compiler