X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fearly-fasl.lisp;h=a6dd6b5568fd1722ee1897a0da7a4503c3c726a8;hb=816248ab4fe04775879a7e5a5ce1b4c613afe9d5;hp=be0d3ab4370b81255ecc603e0b5c7df979721674;hpb=6cbe4d8ba6d7bc469d03a72514c789b1f3944878;p=sbcl.git diff --git a/src/code/early-fasl.lisp b/src/code/early-fasl.lisp index be0d3ab..a6dd6b5 100644 --- a/src/code/early-fasl.lisp +++ b/src/code/early-fasl.lisp @@ -36,9 +36,13 @@ ;;; the code for a character which terminates a fasl file header (defconstant +fasl-header-string-stop-char-code+ 255) -;;; This value should be incremented when the system changes in such -;;; a way that it will no longer work reliably with old fasl files. -(defconstant +fasl-file-version+ 13) +;;; This value should be incremented when the system changes in such a +;;; way that it will no longer work reliably with old fasl files. In +;;; practice, I (WHN) fairly often neglect to increment it for CVS +;;; versions which break binary compatibility. But it certainly should +;;; be incremented for release versions which break binary +;;; compatibility. +(defconstant +fasl-file-version+ 24) ;;; 2 = sbcl-0.6.4 uses COMPILE-OR-LOAD-DEFGENERIC. ;;; 3 = sbcl-0.6.6 uses private symbol, not :EMPTY, for empty HASH-TABLE slot. ;;; 4 = sbcl-0.6.7 uses HAIRY-DATA-VECTOR-REF and HAIRY-DATA-VECTOR-SET @@ -62,19 +66,41 @@ ;;; OpenBSD port was broken from sometime before 0.6.12.11 ;;; until the address space was changed) ;;; 12 = sbcl-0.6.12.22 added new SB-FASL package -;;; 13 = sbcl-0.6.12.x removed some elements from *STATIC-SYMBOLS* - -;;; the conventional file extension for fasl files on this -;;; architecture, e.g. "x86f" -(declaim (type (or simple-string null) *backend-fasl-file-type*)) -(defvar *backend-fasl-file-type* nil) - -;;; This is a sort of pun that we inherited from CMU CL. For ordinary, -;;; non-byte-coded fasl files, the "implementation" is basically the -;;; CPU. For byte-coded fasl files, the "implementation" is whether -;;; the data are stored big-endianly or little-endianly. -(defun backend-byte-fasl-file-implementation () - *backend-byte-order*) +;;; 13 = sbcl-0.6.12.28 removed some elements from *STATIC-SYMBOLS* +;;; 14 = sbcl-0.6.12.29 removed more elements from *STATIC-SYMBOLS* +;;; 15 = sbcl-0.6.12.33 changed the layout of STREAM +;;; 16 = sbcl-0.pre7.15 changed the layout of PRETTY-STREAM +;;; 17 = sbcl-0.pre7.38 (merging many changes accumulated in +;;; the sbcl-0.pre7.37.flaky5.* branch back into the main branch) +;;; got rid of byte compiler, byte interpreter, and IR1 +;;; interpreter, changed %DEFUN and DEFSTRUCT, changed the +;;; meaning of FOP-FSET, and changed the layouts of various +;;; internal compiler structures (e.g. DEFSTRUCT CLAMBDA) +;;; 18 = sbcl-0.pre7.39 swapped FUNCTION-POINTER-TYPE and +;;; INSTANCE-POINTER-LOWTAG low-level type codes to help with +;;; the PPC port +;;; (In 0.pre7.48, the low-level object layout of SYMBOL on the +;;; non-X86 ports changed. I forgot to bump the fasl version number: +;;; I only have an X86.. -- WHN) +;;; 19 = sbcl-0.pre7.50 deleted byte-compiler-related low-level type codes +;;; 20 = sbcl-0.pre7.51 modified names and layouts of +;;; physical-environment-related structures in the compiler +;;; 21 = sbcl-0.pre7.62 finally incremented the version after several +;;; incompatible changes in earlier versions: many many symbols +;;; renamed, changes in globaldb representation of constants +;;; and inline functions, and change in the value of +;;; INTERNAL-TIME-UNITS-PER-SECOND +;;; 22 = about a zillion changes between sbcl-0.pre7.62 and +;;; sbcl-0.pre7.133, during which time it seemed too much +;;; trouble to increment the counter +;;; 23 = sbcl-0.7.0.1 deleted no-longer-used EVAL-STACK stuff, +;;; causing changes in *STATIC-SYMBOLS*. +;;; 24 = sbcl-0.7.1.19 changed PCL service routines which might be +;;; called from macroexpanded code + +;;; the conventional file extension for our fasl files +(declaim (type simple-string *fasl-file-type*)) +(defvar *fasl-file-type* "fasl") ;;; information about below-Lisp-level linkage ;;; @@ -82,11 +108,11 @@ ;;; Assembler routines are named by full Lisp symbols: they ;;; have packages and that sort of native Lisp stuff associated ;;; with them. We can compare them with EQ. -;;; Foreign symbols are named by Lisp strings: the Lisp package +;;; Foreign symbols are named by Lisp STRINGs: the Lisp package ;;; system doesn't extend out to symbols in languages like C. ;;; We want to use EQUAL to compare them. ;;; *STATIC-FOREIGN-SYMBOLS* are static as opposed to "dynamic" (not -;;; as opposed to "extern"). The table contains symbols known at +;;; as opposed to C's "extern"). The table contains symbols known at ;;; the time that the program was built, but not symbols defined ;;; in object files which have been loaded dynamically since then. (declaim (type hash-table *assembler-routines* *static-foreign-symbols*)) @@ -95,14 +121,14 @@ ;;;; the FOP database -(declaim (simple-vector *fop-names* *fop-functions*)) +(declaim (simple-vector *fop-names* *fop-funs*)) ;;; a vector indexed by a FaslOP that yields the FOP's name (defvar *fop-names* (make-array 256 :initial-element nil)) ;;; a vector indexed by a FaslOP that yields a function of 0 arguments ;;; which will perform the operation -(defvar *fop-functions* +(defvar *fop-funs* (make-array 256 :initial-element (lambda () (error "corrupt fasl file: losing FOP")))) @@ -119,7 +145,7 @@ ;;; the FASL file we're reading from (defvar *fasl-input-stream*) -(declaim (type lisp-stream *fasl-input-stream*)) +(declaim (type ansi-stream *fasl-input-stream*)) (defvar *load-print* nil #!+sb-doc