Fix some bugs related to compiled code debugging when no debugging
authorChris Hanson <org/chris-hanson/cph>
Fri, 30 Dec 1988 23:42:18 +0000 (23:42 +0000)
committerChris Hanson <org/chris-hanson/cph>
Fri, 30 Dec 1988 23:42:18 +0000 (23:42 +0000)
info is available.  Change cold load to cause updating of debugging
information for the runtime system.  Fix demand loading so that, when
disabled, procedure names are shown when the debugging information is
already loaded.  Discard debugging info before doing disk-save.

v7/src/runtime/runtime.pkg
v8/src/runtime/runtime.pkg

index c2af422d9d35768ce33b834f638737e4b2764513..cf202e167f827d763d10faa75010f9e4670a7fa6 100644 (file)
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/runtime.pkg,v 14.24 1988/12/30 23:30:13 cph Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/runtime.pkg,v 14.25 1988/12/30 23:42:18 cph Exp $
 
 Copyright (c) 1988 Massachusetts Institute of Technology
 
@@ -689,7 +689,7 @@ MIT in each case. |#
          internal-lambda?)
   (export (runtime syntaxer)
          make-block-declaration)
-  (export (runtime debugger-utilities)
+  (export (runtime compiler-info)
          lambda-tag:internal-lambda
          lambda-tag:internal-lexpr)
   (initialization (initialize-package!)))
index 1c6bd76a2d0694e9d89d879bc6d84968536dfab4..88c547fcdc0ba9613066d9f247a6a7ddc2d02764 100644 (file)
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/runtime/runtime.pkg,v 14.24 1988/12/30 23:30:13 cph Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/runtime/runtime.pkg,v 14.25 1988/12/30 23:42:18 cph Exp $
 
 Copyright (c) 1988 Massachusetts Institute of Technology
 
@@ -689,7 +689,7 @@ MIT in each case. |#
          internal-lambda?)
   (export (runtime syntaxer)
          make-block-declaration)
-  (export (runtime debugger-utilities)
+  (export (runtime compiler-info)
          lambda-tag:internal-lambda
          lambda-tag:internal-lexpr)
   (initialization (initialize-package!)))