Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Oct 22, 2011
  1. Clean up build process for cross-compiled targets.

    Alastair Bridgewater authored
      * Over time, the process for producing an SBCL build for another
    target architecture or OS has become more difficult and less
    documented.
    
      * Move all make.sh argument processing to make-config.sh.
    
      * Have make-config.sh produce a file, output/build-config,
    containing shell commands to set up important build parameters
    such as where to find GNUMAKE, what SBCL_XC_HOST is, and so on.
    
      * Source output/build-config in most of the make*.sh scripts.
    
      * The practical upshot of all this is that a cross-compile
    build is now a matter of alternating between target and host,
    calling make-config.sh, make-host-1.sh, make-target-1.sh,
    make-host-2.sh, make-target-2.sh, and following up with a
    make-target-contrib.sh on the target, and you wind up with a
    usable product.  And, as make-config.sh does all of the arg
    parsing, you can pass --xc-host= or --dynamic-space-size= or
    whatever and it all works out.
Commits on Dec 29, 2005
  1. @csrhodes

    0.9.8.4:

    csrhodes authored
    	Beginnings of a Win32 merge.
    	... rearrange the build scripts to use input from files rather
    		than <<HERE documents.
    	... (no other changes; just working to get the meaty changes
    		isolated from the fluff)
Commits on Sep 16, 2005
  1. 0.9.4.72:

    Thiemo Seufer authored
    	Robustify the build system scripts.
Commits on Jul 1, 2005
  1. 0.9.2.12:

    Gabor Melis authored
      * bug fix: no more highly sporadic "couldn't check whether ~S is
        readable" when reading a stream and an interrupt hits in the middle
        of a select system call
      * added with-restarted-syscall macro
      * added abcl support to build scripts
Commits on May 8, 2005
  1. @csrhodes

    0.9.0.26:

    csrhodes authored
    	More build fixes
    	... for our non-8859-1 friends, explicitly request the C locale
    		while building.
    	... running the tests (and indeed starting up the new sbcl)
    		in unknown locales will fail instantly, but that's probably
    		less annoying than having the build fail at cold-init time.
    	... probably stdin/out/err should fall back to ascii external format
    		if all else fails
Commits on Sep 13, 2004
  1. @nikodemus

    0.8.14.13: Step SBCL, step!

    nikodemus authored
                * Merge the new intrumentation based single stepper,
                   excise stale breakpoint code for STEP; TRACE breakpoints
                   should be unaffected.
                * A dash of documentation.
  2. sbcl-0.8.14.11:

    Alexey Dejneka authored
            * Merge DX sbcl-0-8-13-dx branch.
            * Out-of-line VALUES does not cons.
            * Forbid loading of initialization files in foreign.test.sh.
Commits on May 8, 2003
  1. @csrhodes

    0.8alpha.0.20:

    csrhodes authored
    	Make OpenMCL a suitable slamming host:
    	... fix slam.sh
    	... :if-exists :supersede for *output-files-for-genesis*
    	Since OpenMCL builds still work, announce clisp as a suitable host
    	for the cross-compiler.
Commits on May 5, 2003
  1. @csrhodes

    0.8alpha.0.13:

    csrhodes authored
    	CLISP build megapatch
    	... mostly putting #-SB-XC in front of :COMPILE-TOPLEVEL,
    		because clisp gives a full warning for function and
    		macro redefinition;
    	... workaround clisp's buggy pretty printer by not exercising it
    		as much: use (INHIBIT-WARNINGS 3);
    	... explicit :INITIAL-ELEMENT 0 when we're using 0 to mean
    		"uninitialized" in MAKE-ARRAY;
    	... SPECIAL-OPERATOR-P isn't a good test on the host for what
    		can become a target macro;
    	... slightly more portable floating point logic:
    		Explicitly set *READ-DEFAULT-FLOAT-FORMAT* so that we
    			don't create host LONG-FLOATs by accident;
    		LOAD-TIME-VALUE magic for negative floating point zeros;
    	Minor associated text file frobbage
    	... braindump some unrelated TODO items
    	Obligatory runtime code improvement
    	... fix one warning in gencgc.h
Commits on Dec 14, 2002
  1. 0.7.10.18:

    William Harold Newman authored
    	merged Robert E. Brown shush-the-compiler patch (sbcl-devel
    		2002-12-13)
    	minor changes...
    	...removed DECLAIM FTYPE for
    		SLOT-ACCESSOR-INLINE-EXPANSION-DESIGNATORS on the
    		theory that it's too fragile (since (1) S-A-I-E-D does
    		currently return functions, but could validly return
    		nonfunctions in some later implementation, and (2)
    		SBCL's declarations-are-assertions still doesn't work
    		right for DECLAIM FTYPE)
    	...sometimes used THE instead of DECLARE
    	(didn't do yet, but still intend to: add some documentation
    		related to drichards' #lisp question about :NOT-HOST)
Commits on Oct 26, 2002
  1. 0.7.9.1:

    Alexey Dejneka authored
            * Added #+cmu(ext:quit) to build scripts
            * Fixed SIMPLE-SUBTYPEP type method for FUNCTIONs
Commits on Oct 10, 2002
  1. 0.7.7.24:

    William Harold Newman authored
    	READ-VAR-INTEGER and READ-PACKED-BIT-VECTOR are external to
    		SB!C, so don't need double colons in SB!C: prefixes.
    	made (FORMAT "foo" "bar") fail earlier, at
    		FILL-POINTER-OUTPUT-STREAM ctor time, instead of
    		when the FILL-POINTER-OUTPUT-STREAM is first used for
    		output
    	got rid of *TOPLEVEL-LAMBDA-MAX* and
    		*PENDING-TOPLEVEL-LAMBDAS* (and FORCE-P arg to
    		SUB-COMPILE-TOPLEVEL-LAMBDAS and
    		COMPILE-TOPLEVEL-LAMBDAS, and TOPLEVEL-CLOSURE
    		in COMPILE-TOPLEVEL, and various now-redundant
    		FORCE-P-only calls to COMPILE-TOPLEVEL-LAMBDAS)
Commits on Mar 19, 2002
  1. 0.7.1.47:

    William Harold Newman authored
    	reviewed OPTIMIZE declarations, (mostly trying to avoid
    		inadvertently imposing large %DETECT-STACK-EXHAUSTION
    		overhead)...
    	...bumped SAFETY 1 to SAFETY 2 in warm.lisp (since
    		(> SPEED SAFETY) isn't what we want)
    	...changed (SPEED 3) (SAFETY 3) to (SPEED 2) (SAFETY 2) in
    		SORT logic
    	...removed OPTIMIZE declarations in time.lisp, since there's
    		no up-to-date compelling reason to use other than the
    		default optimization there.
    	...removed (OPTIMIZE (SAFETY 3)) in DEFTRANSFORM ARRAY-HEADER-P,
    		since there seems to be no reason for it
    	rearranged insert-%DETECT-STACK-EXHAUSTION code to make
    		indentation less ridiculous
Commits on Feb 21, 2002
  1. 0.7.1.23:

    William Harold Newman authored
    	catching stack overflow, part I...
    	...defined placeholder %DETECT-STACK-EXHAUSTION
    	...arranged for it to be called on entry to lambdas when
    		(OR (> SAFETY (MAX SPEED SPACE)) (= SAFETY 3))
    	...downgraded SAFETY to 2 (= SPEED) in SBCL's own code, since
    		SBCL's own code seems to be at little risk of infinite
    		recursion
Commits on Feb 7, 2002
  1. (I didn't have convenient access to the Internet for almost a week, so

    William Harold Newman authored
    these versions just piled up on my computer and then I checked 'em
    into CVS all at once.)
    
    0.7.1.5:
    	made TRANSFORM-CALL provide more informative DEBUG-NAMEs
    	factored out COMBINATION-FUN-SOURCE-NAME and used it to
    		support this
    
    0.7.1.6:
    	tweaked comments
    	(hunted fruitlessly for bug 147 fix)
    
    0.7.1.7:
    	(hunted fruitlessly for bug 148 fix)
    	rewrote MAYBE-EXPAND to try to increase clarity
    
    0.7.1.8:
    	factored out FUNCTIONAL-SOMEWHAT-LETLIKE-P and
    		FUNCTIONAL-LETLIKE-P
    	fixed part of the misbehavior in the bug 148 test case (but
    		not bug 148 itself, alas) by removing the assumption
    		that non-null FUNCTIONAL-KIND implies
    		FUNCTIONAL-SOMEWHAT-LETLIKE-P
    
    0.7.1.9:
    	still trying to fix bug 148...
    	...stopped MAYBE-REANALYZE-FUN from trying to reanalyze :DELETED
    		functionals
    	s/maybe-reanalyze-fun/maybe-reanalyze-functional/
    	s/reanalyze-funs/reanalyze-functionals/
    	s/new-funs/new-functionals/
    
    0.7.1.10:
    	still trying to fix bug 148...
    	...IR2-CONVERT-CLOSURE shouldn't be called on :DELETED functionals!
    	...Given that the :DELETED functional is making it all the way
    		to the IR2-CONVERT-CLOSURE stage, maybe the failure
    		in MAYBE-REANALYZE-FUNCTIONAL that I made go away in
    		0.7.1.9 was a good thing. Reinstate it, though more
    		clearly (as "shouldn't be reanalyzing :DELETED functional"
    		rather than a type error when trying to find the COMPONENT
    		of a LAMBDA) than before.
    	...stopped IR2-CONVERT-CLOSURE from trying to intensively
    		check CLAMBDA-to-COMPONENT relationship invariants
    		for :DELETED CLAMBDAs
    	made INVALID-FREE-FUN-P return true for :DELETED FUNCTIONALs
    		just on general principles
    
    0.7.1.11:
    	s/local-call-lossage/locall-already-let-converted/
    	various puttering and tidying trying to understand bug 148
    		specifically and code deletion generally
    
    0.7.1.12:
    	Having walked through the bug 148 problem more carefully, I can
    		see that before KIDIFY1 is deleted, it's first LET
    		converted. Ergo, a :DELETED value is consistent with
    		LET conversion after all, so...
    	...relaxed the change in IR1-CONVERT-LOCAL-COMBINATION
    		made in 0.7.1.8, so that now :DELETED is assumed
    		to be due to LET conversion after all
    
    0.7.1.13:
    	made :ENCAPSULATE T the default for TRACE, since the
    		breakpoint-based version still doesn't work reliably
    		and since the ANSI description of TRACE is partial to
    		tracing named things anyway
Commits on Nov 10, 2001
  1. 0.pre7.86.flaky7.1:

    William Harold Newman authored
    	(still dies with the same assertion failure)
    	reexpressing things in an effort to understand them..
    	..renamed DFO-WALK-CALL-GRAPH to DFO-SCAVENGE-CALL-GRAPH
    	..s/new-function/new-fun/
    	..s/reanalyze-function/reanalyze-fun/
    	..s/local-call-analyze-until-done/locall-analyze-clambdas-until-done/
    	..s/local-call-analyze/locall-analyze-component/
    	..s/local-call-analyze-1/locall-analyze-fun-1/
Commits on Nov 4, 2001
  1. 0.pre7.86:

    William Harold Newman authored
    	s/top-level/toplevel/, to conform with ANSI EVAL-WHEN
    		situation names
Commits on Oct 6, 2001
  1. 0.pre7.49:

    William Harold Newman authored
    	deleting old byte-compiler/byte-interpreter stuff..
    	..find . -name *byte*lisp | xargs rm
    	..find . -name *.lisp | xargs egrep -i 'byte.*comp'
Commits on Aug 20, 2001
  1. 0.pre7.14.flaky4:

    William Harold Newman authored
    	(This version builds without :SB-INTERPRETER, and sort of
    		works (after commenting out half a dozen regression
    		tests) but can't bootstrap itself because of its
    		inability to FUNCALL a COMPILEd function in the
    		interpreter. The debugger is also broken.)
    	trying to get things to work better without :SB-INTERPRETER..
    	..redid EVAL-WHEN handling....
    	....moved all top-level-EVAL-WHEN handling into
    		PROCESS-TOP-LEVEL-FORM
    	....made DEF-IR1-TRANSLATOR EVAL-WHEN handle only the
    		(trivial) non-top-level-form case
    	....deleted DO-EVAL-WHEN-STUFF
    	....added COMPILE-TIME-TOO-P arguments to
    		PROCESS-TOP-LEVEL-FORM and friends
    	....wrote PARSE-EVAL-WHEN-SITUATIONS
    	deleted unused %%DEFCONSTANT reference in byte-comp.lisp
    	Now that EVAL-WHEN is handled differently, we end up in
    		DEFUN %DEFUN instead of DEF-IR1-TRANSLATOR %DEFUN
    		at cross-compile time. Now that EVAL-WHEN is
    		becoming sane, the day may be approaching that those
    		can become the same, but for now, I just decorated
    		DEFUN %DEFUN with readmacros so it won't try to do
    		impossible things at cross-compilation time.
    	moved *UNIVERSAL-FUNCTION-TYPE* into SB!KERNEL exports
    	renamed PROCESS-SOURCE to SUB-SUB-COMPILE-FILE
    	set *TOP-LEVEL-LAMBDA-MAX* to 1 so the %COMPILER-DEFSTRUCT
    		hack in PROCESS-TOP-LEVEL-FORM can go away
    	Now that EVAL-WHEN is handled differently, the system stumbles
    		over other new problems. Debugging non-ANSI cruft is
    		no fun, so try to ANSIfy out of the problem, rushing
    		boldly where no angel has tread before..
    	..made PROCESS-TOP-LEVEL-FORM handle SYMBOL-MACROLET
    	..factored handle-SYMBOL-MACROLET logic into
    		DO-SYMBOL-MACROLET-STUFF (analogous to
    		DO-MACROLET-STUFF) to support this
    	..renamed DO-SYMBOL-MACROLET-STUFF and
    		DO-MACROLET-STUFF to
    		FUNCALL-IN-SYMBOL-MACROLET-LEXENV and
    		FUNCALL-IN-MACROLET-LEXENV
    	..redid PROCESS-TOP-LEVEL-LOCALLY so that it can be used to
    		help implement MACROLET and SYMBOL-MACROLET
    	Messing with EVAL-WHEN situations isn't a very understandable
    		way to suppress enclosed EVAL-WHEN magic. Instead,
    		use an enclosing LET to suppress top-level-formness.
    	hacked globaldb.lisp so the cross-compiler won't nuke its own
    		*INFO-CLASSES* and *INFO-TYPES* while cross-compiling
    		the target compiler
    	For some reason, (FLOAT-RADIX "notfloat") => 2, as in the bad
    		old days. For now, suppress that regression test and
    		go on. (Getting the happy path to work again is more
    		urgent than getting error handling right.)
    	commented out a time.pure.lisp test too, since interpreted
    		FUNCALL and COMPILE aren't playing nicely right now
    	commented out a map-tests.impure.lisp test too, since it
    		trips over what looks like it might be an obscure
    		byte compiler problem and I hope I can get other stuff
    		to work OK without it before returning to it
    	commented out a pathnames.impure.lisp test too, since
    		interpreted ASSERT isn't working right
    	commented out some tests in type.impure.lisp for similar reasons
    	commented out walk.impure.lisp test (Maybe the common theme
    		in many of these problems is inability to handle
    		IGNORE-ERRORS in the new interpreter?)
Commits on Jul 30, 2001
  1. 0.6.12.49:

    William Harold Newman authored
    	made verbose GC output report GET-INTERNAL-RUN-TIME when each
    		GC happens, so that when you reading a log containing
    		many verbose GC messages, you have a better chance of
    		grokking what happened
    	fixed POSIX-GETENV doc string after Alexey Dejneka pointed out
    		that it was wrong
    
    0.6.12.50:
    	removed some #+OpenBSD stubifications, since FILE-LENGTH is no
    		longer completely broken on OpenBSD now
    	fixed the skip-trailing-whitespace logic in READ so it no
    		longer requires a second Ctrl-D char to return EOF
    
    0.6.12.51:
    	merged MNA HANDLER-CASE patch: Since the compiler seems to be
    		smart enough to handle it now, use lexical scoping
    		again instead of the previous dynamic scoping
    		workaround; and also do #+X86 (FLOAT-WAIT).
    
    0.6.12.52:
    	quasimerged MNA fix-GCC-warnings patch (sbcl-devel
    		2001-07-17), editing the source by hand
    	also made other tweaks to fix GCC warnings
    	fixed memory leak in wrapped_readlink()
    
    0.6.12.53:
    	merged MNA port of rtoy COERCE and ARRAY-ELEMENT-TYPE
    		DEFOPTIMIZERs from CMU CL (sbcl-devel 2001-07-16)
    	merged MNA port of rtoy irrational math fixes (sbcl-devel
    		2001-07-16)
    	added MNA regression tests of irrational functions
    
    0.6.12.54:
    	merged MNA port of cachopo COPY-READTABLE fix (sbcl-devel
    		2001-07-17)
    	merged MNA port of mai DESCRIBE-a-class fix (sbcl-devel
    		2001-07-17)
    
    0.6.12.55:
    	added distclean.sh to remove stuff like
    		customize-target-features.lisp
    	DEFCONSTANT *FOO* now issues a STYLE-WARNING.
    	factored out LOOKS-LIKE-NAME-OF-SPECIAL-VAR-P to support this
    	removed call to no-longer-defined OUTPUT-INTERPRETED-FUNCTION
    		in PRINT-OBJECT method for INTERPRETED-FUNCTION (which
    		will hopefully go away real soon anyway)
    
    0.6.12.56:
    	fixed bug 26: ARRAY-DISPLACEMENT now returns (VALUES NIL 0)
    		for undisplaced arrays.
    	fixed bug 55: DEFMACRO-MUNDANELY no longer ignores DOC.
    	DEFMACRO-MUNDANELY should be in SB-INT.
    
    0.6.12.57:
    	set default for *DERIVE-FUNCTION-TYPES* to NIL (i.e. ANSI
    		behavior)
    	overrode the default within the cross-compiler, so that SBCL
    		itself is still built the old static efficient way
    
    0.6.12.58:
    	fixed the DCONSING carry case in PROFILE
    	ported CMU CL fix to FILL-POINTER-OUCH (Tim Moore's fix
    		to Janne Rinta-Manty's bug report)
    	added MNA fix for FIX-CORE-SOURCE-INFO
Commits on Jun 6, 2001
  1. 0.6.12.22:

    William Harold Newman authored
    	DB logical pathname and COMPILE-FILE-PATHNAME patch from
    		sbcl-devel 2001-06-01
    	made FASL file version number independent of CPU type; also
    		made byte FASL file version number the same
    	many many changes more or less related to changing the FASL
    		file version number..
    	..created SB!FASL package to hold stuff like +FASL-FILE-VERSION+
    		which is common to loading and dumping
    	..renamed early-load.lisp to early-fasl.lisp
    	..renamed FASL-FILE stuff to FASL-OUTPUT
    	..*LAP-OUTPUT-FILE* doesn't need to be special (and so is
    		renamed to LAP-FASL-OUTPUT).
    	..exported FAST-READ stuff from SB-INT, so that it's visible
    		in SB-FASL
    	..deleted old stale load-related variables
    		*LOAD-BYTE-COMPILED-CODE-TO-DYNAMIC-SPACE*
    		*LOAD-X86-TLF-TO-DYNAMIC-SPACE*
    		*ENABLE-DYNAMIC-SPACE-CODE*
    		(hardwiring code which referred to them to use their
    		effectively-constant values T, NIL, T instead). (Now
    		we no longer need to worry about what package they're
    		in..)
    	..made some symbols external to SB-KERNEL so that
    		now-in-SB-FASL code could find them (and so that
    		some of the old :: prefixes could go away):
    		*FREE-INTERRUPT-CONTEXT-INDEX*,
    		*!INITIAL-FOO* for all FOO,
    		*CURRENT-CATCH-BLOCK*,
    		*CURRENT-UNWIND-PROTECT-BLOCK*,
    		*PSEUDO-ATOMIC-ATOMIC*, *PSEUDO-ATOMIC-INTERRUPTED*
    	..deleted unneeded "SB!IMPL::" prefixes for various
    		other *STATIC-SYMBOLS*-related symbols which're
    		exported (mostly from SB-KERNEL) already
    	..deleted unused %INITIAL-FUNCTION (smashing Alpha
    		*STATIC-SYMBOLS* indices)
    	suppressed some stuff in side-effectful-pathnames.test.sh
    		until we merge the DB cleanups from flaky2_branch
Commits on May 23, 2001
  1. 0.6.12.13:

    William Harold Newman authored
    	set up :SB-AFTER-XC-CORE feature so slam.sh is more convenient
    	The various core address mismatch states should be fatal
    		errors, not just fprintf()s.
Commits on May 19, 2001
  1. 0.6.12.7.flaky1.2:

    William Harold Newman authored
    	(This version seems not to be flaky any more, and so should
    		be the end of the flaky1 branch: I'm just checking
    		it in in preparation for "cvs update -j flaky1" or some
    		such thing to merge the changes back into the main
    		branch.)
    	tweaked run-tests.sh machinery to use an absolute path for
    		SBCL, on general principles and specifically so that
    		Dan Barlow's new ENSURE-DIRECTORIES-EXIST tests can run
    	made (UNIX-NAMESTRING "") equivalent to (UNIX-NAMESTRING "."),
    		as the simplest way to make ENSURE-DIRECTORIES-EXIST
    		work for relative pathnames. (As per Dan's 2001-05-18
    		sbcl-devel mail, it can't be ANSI conforming until
    		*DEFAULT-PATHNAME-DEFAULTS* is made ANSI, and that's
    		too messy for now, so just do the simple thing.)
    	dropped search list support from UNIX-NAMESTRING while I was
    		at it, since search lists ain't supported no more
    	removed undocumented hardly-used EXECUTABLE-ONLY arg from
    		UNIX-NAMESTRING, moving the "is it executable?" test
    		into run-program.lisp
    	removed REMOVEME stuff
Commits on May 18, 2001
  1. 0.6.12.7.flaky1.1:

    William Harold Newman authored
    	(As per Daniel Barlow sbcl-devel 2001-05-17, the removal of
    		the mysterious "" special case in UNIX-STAT will
    		probably keep this version from building itself,
    		so I didn't even try. It does, however, at least
    		do "sh run-tests.sh" successfully.)
    	fixed declaration in %EXTRACT-STAT-RESULTS so that the
    		system won't have to interpret the alien reference
    		at runtime on every call to the function
    	I found how to fix the boot/gencgc/purify problem which was
    		leaving initial-function unmapped -- I could copy
    		current_region_free_pointer into
    		boxed_region.free_pointer just before
    		gc_alloc_update_page_pages() in save.c. However,
    		that left me with other flaky GC problems. So I gave
    		up my GC hacking in this version as a bad job, and
    		copied original 0.6.12.7 GC-related files over
    		the modified versions: gencgc.c, save.c, purify.c,
    		gc.lisp, save.lisp
    	made %EXTRACT-STAT-RESULTS inline to suppress an apparent
    		memory corruption bug
Commits on May 15, 2001
  1. 0.6.12.7.flaky1:

    William Harold Newman authored
    	(This system state is seriously screwed up. It did build,
    		both on Linux and on OpenBSD, but signalled an
    		error after writing out sbcl.core on OpenBSD, and
    		although it runs a little both on Linux and on
    		OpenBSD, it hangs in the regression tests. It
    		also has some temporary hacks marked REMOVEME,
    		including one which suppresses PURIFY when
    		building the system (!).)
    	made the system build on OpenBSD again..
    	..stubbed stuff out as a quick fix to the problem of FFI to
    		64-bit stat.st_size
    	tried to make the system run on OpenBSD again..
    	..initialized current_dynamic_space, since it's now used
    		instead of DYNAMIC_SPACE_START in PURIFY
    	..added new assertions about GENCGC alloc_region stuff being
    		reset when it should be
    	renamed Lisp-level struct stat stuff to struct wrapped_stat
    	tried to tidy up Lisp-level stat stuff; removed mysterious
    		(STRING= NAME "") behavior from UNIX-STAT
    	added slam.sh to help in low-level compile-and-try cycle
    	pulled alloc_region-is-reset logic out into separate
    		functions, and added more assertions on it (hunting
    		for a bug which broke the old assertions)
    	renamed gc_alloc_large to gc_alloc_possibly_large, and
    		gc_quick_alloc_large_unboxed to
    		gc_quick_alloc_unboxed_possibly_large
    	enabled various GC checks, e.g. gencgc_zero_check=1
    	deleted unused (and bizarre..) gencgc_verify_zero_fill()
    	turned off PURIFY in order to get the system to build, since
    		PURIFY seems to be misbehaving (leaving INIT-FUNCTION
    		above the cutoff address..)
Commits on May 8, 2001
  1. 0.6.12.4:

    William Harold Newman authored
    	made grovel-headers.c run automatically as part of the build
    		process (so that the automatically-generated file
    		output/stuff-groveled-from-headers.lisp replaced the
    		old symlink src/code/target-os-types.lisp)
    	redid grovel_headers.c DEFCONSTANT macro as function
    	removed 'ln -sf $sbcl_arch-linux-types.lisp' stuff (from
    		src/runtime/make-config.sh??)
    	redid the definition of a stem in stems-and-flags.lisp,
    		as a relative path from SBCL base directory instead
    		of from the src/ subdirectory, so that it can now
    		refer to "output/stuff-groveled-from-headers.lisp
Commits on Mar 26, 2001
  1. 0.6.11.26:

    William Harold Newman authored
    	restored CMU CL's :PROPAGATE-FLOAT-TYPE and :PROPAGATE-FUN-TYPE
    		functionality
    	changed design of CROSS-FLOAT-INFINITY-KLUDGE
    	renamed :PROPAGATE-FLOAT-TYPE and :PROPAGATE-FUN-TYPE
    		features to :SB-PROPAGATE-FLOAT-TYPE and
    		:SB-PROPAGATE-FUN-TYPE
    	renamed :CONSTRAIN-FLOAT-TYPE to :SB-CONSTRAIN-FLOAT-TYPE too
    	clarified TYPE-ERROR :TYPE in DEFUN SANE-PACKAGE
    	tweaked DEFCONSTANT handling so that CMU CL can handle the
    		DEFCONSTANT/DEFTYPE interaction in bit-bash.lisp
    	created SB-XC versions of various CL constants (e.g.
    		LEAST-POSITIVE-SINGLE-FLOAT) so that cross-compilation
    		of their DEFCONSTANT forms works more cleanly
    	reviewed uses of various CL constants and added SB!XC:
    		prefixes in compiled-on-host code: CALL-ARGUMENTS-LIMIT,
    		CHAR-CODE-LIMIT
    	split char.lisp into char.lisp and target-char.lisp so that
    		there'd be a suitable place to define CHAR-CODE-LIMIT
    	rewrote SOURCE-TRANSFORM-CXR stuff to avoid FORMAT call at
    		cold init time
    	suppressed bogus default DEFSTRUCT-generated COPY-READTABLE
    	hunting PROPAGATE-FOO-TYPE bug in compilation of OUTPUT-GSPACE..
    	..made MAKE-NUMERIC-TYPE enforce closed-bound invariant for
    		NUMERIC-TYPE-CLASS='INTEGER
    	..made MODIFIED-NUMERIC-TYPE to enforce NUMERIC-TYPE-CLASS
    		invariants; made slots read-only; rewrote
    		modify-NUMERIC-TYPE code to use MODIFIED-NUMERIC-TYPE
    	..moved FLET VALIDATE logic from CONSTRAIN-INTEGER-TYPE
    		and CONSTRAIN-FLOAT-TYPE to MAKE-NUMERIC-TYPE.
    	..Now COPY-NUMERIC-TYPE can go away.
    	..renamed BOUND-VALUE to SB!INT:TYPE-BOUND-NUMBER
    	factored out CTYPE-OF-NUMBER code
    	cross-type.lisp is type system code, so do it in SB!KERNEL.
Commits on Mar 22, 2001
  1. 0.6.11.23:

    William Harold Newman authored
    	converted UNION :SIMPLE-SUBTYPEP method to use EVERY/TYPE
    	made tests/type.*-xc.lisp dependent on :SB-TEST
    	replaced ASSERT calls with AVER
Commits on Mar 12, 2001
  1. 0.6.11.13:

    William Harold Newman authored
    	converted SIMPLE-/COMPLEX- -INTERSECTION to -INTERSECTION2
    	reviewed old SIMPLE-/COMPLEX- -INTERSECTION methods to make
    		them OK in the new world
    	made TYPE-INTERSECTION2 and TYPE-APPROX-INTERSECTION2 for
    		some things which used to call TYPE-INTERSECTION
    	made new with-&REST-list TYPE-INTERSECTION to replace
    		MAKE-INTERSECTION-TYPE-OR-SOMETHING
    	HIERARCHICAL-INTERSECTION is more descriptive than
    		VANILLA-INTERSECTION.
    	deleted unused SIMPLIFY2 stuff
    	deleted unused TYPE-INTERSECT and VALUES-TYPE-ALLOWP
    	Pure BOOLEAN TYPE-ENUMERABLE is too much trouble; relax to
    		generalized boolean instead.
    	tweaked DEFUN-CACHED so that it will work early in cold init
    		(if some clueless bozo happens to mess up types so
    		badly that it gets called early in cold init:-)
    	Now the AND type translator can just use TYPE-INTERSECTION.
    	added *SOFT-HEAP-LIMIT*
    	removed some unused symbols in SB!UNIX
    	tweaked /SHOW0 to automatically stringify and concatenate its
    		arguments, to abbreviate an idiom that I use a lot
    	wrote /HEXSTR0 to abbreviate another idiom
    	defined /PRIMITIVE-PRINT to abbreviate another idiom
    	DO-LOAD-TIME-CODE-FIXUP and DO-LOAD-TIME-VALUE-FIXUP are
    		only needed at cold init.
    	added tests/type.after-xc.lisp and tests/type.before-xc.lisp
    	upgraded SB-XC:TYPEP to handle (TYPEP #(1 2 3) 'VECTOR) etc.
    	Intersection with *EMPTY-TYPE* and *UNIVERSAL-TYPE* should
    		behave (and be commutative).
    	Guard against some type method operations on *. (easier than
    		worrying about them, or trying to make them right..)
    	moved STYLE-WARN and friends to SB-INT to eliminate thought
    		about whether they're visible e.g. in ir1tran.lisp
    	tripped over bug 84
    	made SB!C-CALL use SB!INT and SB!EXT so I can use /SHOW0 et al.
    	DEF-PRIMITIVE-TYPE stuff can become !DEF-PRIMITIVE-TYPE.
    	DEF-BOUNDED-TYPE and DEFINE-FLOAT-FORMAT can become
    		!DEF-BOUNDED-TYPE and !DEFINE-FLOAT-FORMAT.
    	moved DEFTYPE FLOAT-FORMAT earlier so that it's visible in
    		early-type.lisp (for NUMERIC-TYPE FORMAT slot :TYPE)
    	moved LIST, CONS, and NULL classes earlier in *BUILT-IN-CLASSES*
    		to try to help with RATIO cold init problem
    	removed pre-ANSI keyword-only stuff in ARG-INFO-KEYWORD and
    		in various &KEY-related error messages and symbol names
    	bug 12 fixed: (SUBTYPEP 'KEYWORD 'SYMBOL)=>T,T
    	added INTERSECTION-TYPE support to CTYPEP
Commits on Feb 27, 2001
  1. (belated 0.6.11.2 checkin notes):

    William Harold Newman authored
    	Add missing EVAL-WHEN wrappers for DEFCONSTANT, as per bug
    		report from Arthur Lemmens sbcl-devel 2001-02-23..
    	..the use of #.MAX-VOP-TN-REFS in vmdef.lisp
    	..(not in the sequence of DEFENUMs in early-objdef.lisp, at
    		least not yet, since it caused problems when I did)
    	Wrap DEFUN SYMBOLICATE in EVAL-WHEN so that we don't need
    		to worry about using it in DEFENUM.
    
    0.6.11.4:
    	some foreshadowing for reenabling :PROPAGATE-FLOAT-TYPE
    		and :PROPAGATE-FUN-TYPE features
    	CONCAT-PNAMES goes away in favor of SYMBOLICATE.
Commits on Nov 5, 2000
  1. 0.6.8.9:

    William Harold Newman authored
    	tweaked DEFCONSTANTs to be more ANSI-compliant (as required
    		when building using an XC host incorporating changes
    		from the previous commit) and generally cleaner
            got rid of DEFCONSTANT WRAPPER-LAYOUT completely, which was
    		used only by STRUCTURE-WRAPPER, which is now gone
    	added SB-INT:DEFCONSTANT-EQX to help ANSIfy DEFCONSTANTs
    	merged several small files into primordial-extensions.lisp
    	converted DEFMACRO DEFCONSTANT to use EVAL-WHEN instead of
    		IR1 magic, in order to make it ANSI enough for
    		DEFCONSTANT-EQX to work
    	removed various nested EVAL-WHENs (to help cross-compiler)
    	identified bug IR1-3, added workaround in DO-EVAL-WHEN-STUFF
    	incremented fasl file version (because of mismatch between
    		old IR1 magic %DEFCONSTANT/%%DEFCONSTANT behavior and
    		new EVAL-WHEN %DEFCONSTANT behavior)
    	deleted some unused code
    	fixed (DEFCONSTANT X 1) (DEFVAR X) (SETF X 2) bug
Commits on Sep 18, 2000
  1. Initial revision

    William Harold Newman authored
Something went wrong with that request. Please try again.