Commits on Jan 19, 2003

            Fixed some bugs revealed by Paul Dietz' test suite:
            ** BOA constructor with &AUX argument without a default value does
               not cause a type error;
            ** CONSTANTP now returns true for all self-evaluating objects.
    Alexey Dejneka committed Jan 19, 2003
Commits on Jan 18, 2003

    	added hooks, more or less as sketched by dan_b on sbcl-devel, to
    		 support kmr/acl-style alternate toplevel loop
    William Harold Newman committed Jan 18, 2003
Commits on Jan 13, 2003

    	rewrote MERGE-LISTS* to avoid using a global variable for
    		scratch (motivated by Wolfgang Jenkner's bug report
    		sbcl-devel 2003-01-05, and also by the prospect of
    	rewrote stuff calling MERGE-LISTS* to coerce function
    		designators early once and for all (instead of on
    		every call to MERGE-LISTS*)
    	added test cases
    	trivial style/comment/name tweaks
    William Harold Newman committed Jan 13, 2003
Commits on Jan 11, 2003
  1. @csrhodes

    	Fix for averrance failure due to DEBUG-RETURN interfering with
    		type system (explanation APD sbcl-devel 2003-01-10)
    	... disable insertion of CATCH if it was disabled in an outer
    	... enable insertion of CATCH when compiling top-level forms, so
    		that the evaluator continues to have DEBUG-RETURN
    csrhodes committed Jan 11, 2003
Commits on Jan 8, 2003
  1. @csrhodes

    	Fix bugs identified by Paul Dietz (cmucl-imp 2003-01-03) for
    		printing and reading arrays
    	... inspired by but slightly different from Gerd Moellmann fixes
    		cmucl-imp 2003-01-04
    csrhodes committed Jan 8, 2003
Commits on Jan 7, 2003
  1. @csrhodes

    	Implement the RETURN debugger command.
    	... CATCH block insertion conditional on
    	... change interactor policy to make this the case
    	... note as experimental in DEBUG help string
    csrhodes committed Jan 7, 2003
Commits on Jan 4, 2003

    	Try harder to find GNU make (instead of first running, then bailing out in
    		as per Fufie, rudi, and Krystof on #lisp. (Google says
    		"don't be evil", and while we're not that good, at
    		least we can try not to be too annoying.:-)
    	Make chill.lisp not die on short package names. (inspired by
    		Rudi Schlatte's patch sbcl-devel 2003-01-04)
    William Harold Newman committed Jan 4, 2003

            Fixed bug in embedded calls of SORT (reported and investigated
            by Wolfgang Jenkner).
    Alexey Dejneka committed Jan 4, 2003

            Merged in the mti-1202 branch:
            ... restored constraint propagation from type assertions;
            ... removed bogus type declarations in WITH-PACKAGE-ITERATOR;
    Alexey Dejneka committed Jan 4, 2003
Commits on Jan 3, 2003

            New bug.
    Alexey Dejneka committed Jan 3, 2003
Commits on Dec 31, 2002
  1. 0.7.11:

    	release, tagged as sbcl_0_7_11
    William Harold Newman committed Dec 31, 2002
Commits on Dec 30, 2002
  1. @csrhodes

    	Clean up regressions, easy new bugs, etc.
    	... fix one or two embarrassing bugs in ctor MAKE-INSTANCE optimization
    		* REINITIALIZE-INSTANCE now checks arguments again
    		* defining methods on MAKE-INSTANCE (or its siblings) now
    			invalidates the optimized methods for subclasses too
    	... trivial ADJUST-ARRAY patch
    csrhodes committed Dec 30, 2002
Commits on Dec 29, 2002

    	trivial comment fix
    William Harold Newman committed Dec 29, 2002
  2., continued:

    	belatedly checking in version.lisp again, since I keep
    		doing cvs up, select all files, update version.lisp-expr,
    		check in:-(
    William Harold Newman committed Dec 29, 2002
Commits on Dec 28, 2002

    	new BUGS entry re. (I assume) ctor.lisp stuff
    	trivial OAOO tweak on code
    William Harold Newman committed Dec 28, 2002
Commits on Dec 27, 2002

            Fix bug in CONSTANT-REFERENCE-P: function name may be
    	(SETF symbol).
    Alexey Dejneka committed Dec 27, 2002
Commits on Dec 26, 2002

            New bug.
    Alexey Dejneka committed Dec 26, 2002
Commits on Dec 23, 2002
  1. @csrhodes

            Installed ctor.lisp MAKE-INSTANCE optimization (from Gerd
                    Moellmann, via CSR sbcl-devel 2002-12-21)
            ... wrote tests for those bugs which it fixes
    	... do not delete fast-init.lisp yet; waiting for user feedback before
    		destroying some CVS history
    	... update COPYING information to reflect the new copyright
    csrhodes committed Dec 23, 2002
Commits on Dec 22, 2002

            Fixed bug 232, shown by Paul Dietz' test suite.
    Alexey Dejneka committed Dec 22, 2002
Commits on Dec 21, 2002
  1. @csrhodes

    	Fix compiler crash in new COERCE defoptimizer
    	... CAREFUL-SPECIFIER-TYPE can return NIL, so handle that case
    		too.  (Might it not be nice to provide a compiler
    		warning?  Or should that be left to the IR1-TRANSFORM?)
    csrhodes committed Dec 21, 2002

            Fixed bug 231: SETQ did not correctly check the type of a
            variable being set (reported by Robert E. Brown)
    Alexey Dejneka committed Dec 21, 2002
Commits on Dec 20, 2002
  1. @csrhodes

    	Just log a bug (reported sbcl-devel 2002-12-19 by Robert E. Brown
    csrhodes committed Dec 20, 2002
Commits on Dec 19, 2002
  1. @csrhodes

    	Fix up a theoretical bug in the COMPILE DERIVE-TYPE-OPTIMIZER
    	(why only a "theoretical" bug?  Well, at present, SBCL's type
    	engine returns (VALUES FUNCTION BOOLEAN BOOLEAN) for
    	so it DWIM.  However, CMUCL doesn't (it returns the empty type
    	instead), which led to the discovery of this error by Raymond
    	Toy when he tried to port the optimizer.)
    csrhodes committed Dec 19, 2002

            Removed several declarations from src/code/[target-]package.
    Alexey Dejneka committed Dec 19, 2002

            BUGS file cleanup:
            ... removed bug entries 178 and 199.
            New bug: pretty printing conflicts with readability.
    Alexey Dejneka committed Dec 19, 2002

            Fix bug 223: functional binding of a symbol is constant only
            if the symbol is in CL package.
    Alexey Dejneka committed Dec 19, 2002
Commits on Dec 18, 2002
  1. @csrhodes

    	Fix obscure DEFSTRUCT :CONC-NAME handling bug, revealed by Paul
    		Dietz' ansi-tests
    	... :CONC-NAME NIL means something different from :CONC-NAME ""
    	Also some belated tests for extra COERCE logic
    csrhodes committed Dec 18, 2002
Commits on Dec 17, 2002

            Delete CLAMBDA when its BIND is detected to be unreachable.
    Alexey Dejneka committed Dec 17, 2002
Commits on Dec 16, 2002
  1. @csrhodes

    	Fix bug 222 (as per APD sbcl-devel 2002-12-11)
    	... define the macro in the correct (restricted) lexical context.
    	Fix bug in COERCE [e.g. (COERCE 2 '(SINGLE-FLOAT 3.0 4.0))]
    	... when converting to a real type, don't be so lenient if the
    		original datum is a rational.
    	Define improved DERIVE-TYPE-OPTIMIZER for COERCE
    	... for constant RESULT-TYPE arguments, write a branch that
    		understands complex canonicalization
    	... leave in old branch for ARRAY-ELEMENT-TYPE return types
    	... (COMPILE NIL <x>) returns an object of type FUNCTION
    csrhodes committed Dec 16, 2002
Commits on Dec 15, 2002

    	comments documenting :NOT-HOST and :NOT-TARGET flags
    William Harold Newman committed Dec 15, 2002
Commits on Dec 14, 2002
  1., continued:

    	(forgot to re-cvs-up after I modified version.lisp-expr,
    		so pcl-cvs didn't know to check it in originally)
    William Harold Newman committed Dec 14, 2002

    	merged Robert E. Brown shush-the-compiler patch (sbcl-devel
    	minor changes...
    	...removed DECLAIM FTYPE for
    		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)
    William Harold Newman committed Dec 14, 2002
Commits on Dec 12, 2002
  1. @csrhodes

    	Adjust test file running environment so that *.pure.lisp tests
    		are run with assertoid loaded.
    	... give assertoid its own package
    	... use it in for *.pure.lisp
    	... also use it where applicable in *.impure.lisp
    csrhodes committed Dec 12, 2002
Commits on Dec 11, 2002
  1. @csrhodes

    	Fix one "outstanding embarrassment" (as per CSR sbcl-devel
    		2002-12-10): no more building of compiler files in
    		warm load.
    	... play symlink games instead, to build the troublesome
    		assembly files twice under different names (will need
    		adjustments to work on non-Unix filesystems (e.g.
    		NTFS) but no more than the rest of the build).
    csrhodes committed Dec 11, 2002
Commits on Dec 10, 2002
  1. @csrhodes

    	Fix :CONC-NAME bug noted by Paul Dietz for cmucl
    		(cmucl-imp 2002-12-08 ":conc-name by itself")
    csrhodes committed Dec 10, 2002