Initial revision
authorStephen Adams <edu/mit/csail/zurich/adams>
Tue, 30 Jul 1996 19:42:23 +0000 (19:42 +0000)
committerStephen Adams <edu/mit/csail/zurich/adams>
Tue, 30 Jul 1996 19:42:23 +0000 (19:42 +0000)
v8/src/runtime/runcheck.cbf [new file with mode: 0644]

diff --git a/v8/src/runtime/runcheck.cbf b/v8/src/runtime/runcheck.cbf
new file mode 100644 (file)
index 0000000..0d6e100
--- /dev/null
@@ -0,0 +1,56 @@
+#| -*-Scheme-*-
+
+$Id: runcheck.cbf,v 1.1 1996/07/30 19:42:23 adams Exp $
+
+Copyright (c) 1988-96 Massachusetts Institute of Technology
+
+This material was developed by the Scheme project at the Massachusetts
+Institute of Technology, Department of Electrical Engineering and
+Computer Science.  Permission to copy this software, to redistribute
+it, and to use it for any purpose is granted, subject to the following
+restrictions and understandings.
+
+1. Any copy made of this software must include this copyright notice
+in full.
+
+2. Users of this software agree to make their best efforts (a) to
+return to the MIT Scheme project any improvements or extensions that
+they make, so that these may be included in future releases; and (b)
+to inform MIT of noteworthy uses of this software.
+
+3. All materials developed as a consequence of the use of this
+software shall duly acknowledge such use, in accordance with the usual
+standards of acknowledging credit in academic research.
+
+4. MIT has made no warrantee or representation that the operation of
+this software will be error-free, and MIT is under no obligation to
+provide any services, by way of maintenance, update, or otherwise.
+
+5. In conjunction with products arising from the use of this material,
+there shall be no use of the name of the Massachusetts Institute of
+Technology nor of any adaptation thereof in any advertising,
+promotional, or sales literature without prior written consent from
+MIT in each case. |#
+
+(fluid-let ((compiler:coalescing-constant-warnings? #f)
+           (compiler:generate-type-checks? #f)
+           (compiler:generate-range-checks? #F))
+  (cbf "coerce")
+  (cbf "list")
+  (cbf "vector")
+  (cbf "string")
+  (fluid-let ((compiler:generate-type-checks? #T)
+             (compiler:generate-range-checks? #T))
+    (compile-directory ".")))
+
+(in-package (->environment '(runtime compiler-info))
+  (let ((filename
+        (->namestring (merge-pathnames "make.com" (current-load-pathname)))))
+    (let ((make.com  ((make-primitive-procedure 'binary-fasload) filename)))
+      (if (compiled-module? make.com)
+         (begin
+           (fresh-line)
+           (display ";Fixing \"")
+           (display filename)
+           (display "\" for cold load")
+           (fasdump (compiled-module/expression make.com) filename))))))