Switch branches/tags
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

    	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

            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

    	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

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

    	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

    	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

    	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

    	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

    	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

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

    	Fix bug 219 (ANSIfying DEFINE-COMPILER-MACRO in non-toplevel
    	... remove IR1 implementation, converting to a macro- and
    		EVAL-WHEN-based implementation
    	... increment fasl file version number
    	also, while I'm at it, set the COMPILER-MACRO-FUNCTION name
    		to something useful for use in the debugger; apply
    		similar fix for the MACRO-FUNCTION of a macro:
    	... move DEBUG-NAMIFY to SB-INT and export it.
    csrhodes committed Dec 9, 2002
Commits on Dec 6, 2002

    	Merge <sys/ucontext.h> patch for building under FreeBSD-5.0
    		(Dag-Erling Smorgrav sbcl-devel 26-11-2002)
    	... other (warning) patches punted because of lack of
    		testing facilities
    csrhodes committed Dec 6, 2002

    	Make FILE-STREAM be the CLASS-NAME of things formerly known as
    csrhodes committed Dec 6, 2002
Commits on Dec 5, 2002

    	A couple of array fixes
    	... make DESCRIBE work on rank-0 arrays (Lutz Euler sbcl-devel
    	... make DEFTRANSFORM MAKE-ARRAY warn (or style-warn) in the
    		various appropriate cases:
    	* default :INITIAL-ELEMENT not compatible with :ELEMENT-TYPE
    	* provided :INITIAL-ELEMENT not compatible with :ELEMENT-TYPE
    	* provided :INITIAL-ELEMENT not compatible with
    csrhodes committed Dec 5, 2002
Commits on Dec 4, 2002

    	Working INLINE inside MACROLET for user code.
    		(more or less as per CSR sbcl-devel 2002-12-03)
    	... change tricky cross-compiled inline functions to source
    		transforms (including adding some functions to the
    		function database)
    	... use now-working FUNCTION-LAMBDA-EXPRESSION to get the
    		expander function for local macros
    	... build a complex LAMBDA-WITH-LEXENV for inlining user code
    	Some miscellaneous frobs
    	... actually signal a style warning for array code (though it
    		might actually be in currently-dead-but-should-be-alive
    	... actually test the return value in the second half of
    	... minor text adjustments (no more calling this period "early
    csrhodes committed Dec 4, 2002

    	Merge fix for bug 127 (Valtteri Vuorikoski sbcl-devel 2002-11-30)
    	... store a (ACCESSOR-NAME . INDEX) alist, not just a list of
    		accessor names, so that we can detect some other edge
    	... write some basic tests
    	... increment fasl file version
    csrhodes committed Dec 4, 2002
Commits on Dec 2, 2002

    	Staging-post on the way to working INLINE/MACROLET
    	... implement previously (MACROLET ((DEF ...)) (DEF ...)) INLINE
    		functions as defined by global !DEF macros
    	... don't touch SORT-VECTOR, as it is complicated
    	... implement a BUG 117 bogowarning workaround in
    	The plan from here is to move FIND and friends into the realm of
    	SOURCE-TRANSFORMS, so that the cross-compiler is born knowing how to
    	compile FIND; a similar solution is likely for SORT-VECTOR.  Then
    	defensive code can be written around a version of
    	MAYBE-INLINE-SYNTACTIC-CLOSURE (as per CSR sbcl-devel 2002-07-02 "BUG
    	156 and INLINE FIND"), and voil�! working INLINE.
    csrhodes committed Dec 2, 2002

    	Improve FUNCTION-LAMBDA-EXPRESSION marginally, to help in
    		getting INLINE-inside-MACROLET working in the target
    	... associate the function with the debug-source where possible
    	... we now store (LAMBDA ...), not (FUNCTION (LAMBDA ...)), so
    		remove the bogus SECOND
    csrhodes committed Dec 2, 2002

    	embarrassment reduction: transformed ugly duplicate
    		DEF-BOOLEAN-ATTRIBUTE into ugly OAOO (and also renamed
    		it to !DEF-BOOLEAN-ATTRIBUTE, since not aspiring to
    		make it exist on the target seemed to make it easier
    		to think about)
    	Also, as long as I'm renaming it anyway, it has no special
    		connection to the compiler and is used in SB!ASSEM too,
    		I moved !DEF-BOOLEAN-ATTRIBUTE from SB!C to SB!INT.
    William Harold Newman committed Dec 2, 2002
Commits on Nov 28, 2002

            Cleanup of type checking in character functions.
            ... fixed bug 230.
    Alexey Dejneka committed Nov 28, 2002