Skip to content
Commits on May 5, 2001
  1. 0.6.12:

    William Harold Newman committed
    	removed a little REMOVEME stuff, otherwise like 0.6.11.45
Commits on May 3, 2001
  1. 0.6.11.45:

    William Harold Newman committed
    	more MNA byte-compilation patches (sbcl-devel 2001-04-30 and
    		2001-05-02)
Commits on Apr 27, 2001
  1. 0.6.11.43:

    William Harold Newman committed
    	MNA warm init byte-compilation patch (sbcl-devel 2001-04-14);
    		except that I didn't clobber the DEFKNOWNs for
    		funcallable instance accessors
    	fixed the byte-compile-time warning problem in describe.lisp
    		by redefining SB-PCL::GET-SLOTS-OR-NIL as a function
    	merged pcl/fin.lisp into pcl/low.lisp in order to unscrew
    		some assumed-to-be-function-but-then-defined-as-macro
    		problems, and because now that our PCL is SBCL-specific
    		pcl/fin.lisp stuff can mostly wither away anyway
    	inlined CLOS-SLOTS-REF and (SETF CLOS-SLOTS-REF)
    	deleted DOCTOR-DFUN-FOR-THE-DEBUGGER and
    		RECORD-DEFINITION
Commits on Apr 26, 2001
  1. 0.6.11.42:

    William Harold Newman committed
    	MNA port (sbcl-devel 2001-04-14) of DTC cmucl-imp patch: Use
    		VALUE-CELL objects rather than conses for the
    		interpreter's value cells.
    	more ANSI compliance: BREAK binds *DEBUGGER-HOOK* to NIL
    		before calling INVOKE-DEBUGGER.
    	SIGINT handling no longer uses CL:BREAK (which rebinds
    		*DEBUGGER-HOOK* before doing INVOKE-DEBUGGER, screwing
    		up --noprogrammer handling) but instead calls
    		INVOKE-DEBUGGER more directly.
    	NOPROGRAMMER-DEBUG-HOOK-FUN now terminates "normally"
    		(calling Unix exit(3), not falling into infinite
    		recursion in Lisp-level error trapping) even
    		when shell/pipeline/SIGINT or other mischief hoses
    		its low-level output streams.
    	renamed FASLOAD and SLOLOAD to LOAD-AS-FASL and LOAD-AS-SOURCE,
    		so that users have a better chance of understanding
    		them when they appears in BACKTRACE
Commits on Apr 17, 2001
  1. 0.6.11.41:

    William Harold Newman committed
    	moved Unix opendir/readdir/closedir iteration down to C level
    		so that cruft can be read directly from #include files
    	replaced old *UNIX-ERROR* cruft with STRERROR and
    		SIMPLE-PERROR and a few DEFCONSTANTs
    	increased ANSIness of error reporting in fd-stream.lisp
  2. 0.6.11.40:

    William Harold Newman committed
    	added code to support coming changes in (probably) 0.6.11.41..
    	..moving Unix opendir/readdir/closedir iteration down to the C
    		level, so that all structure layouts and whatnot can be
    		read directly from #include files, so that directory
    		operations become inherently portable (or at least as
    		much as C/Unix ever is:-) and work on OpenBSD
    	..replacing old *UNIX-ERROR* cruft with STRERROR and
    		SIMPLE-PERROR
    	GET-ERRNO belongs in SB-C-CALL, it's not Unix-specific.
Commits on Apr 16, 2001
  1. 0.6.11.39:

    William Harold Newman committed
    	trivial changes syncing my OpenBSD and Linux checkouts
  2. 0.6.11.38:

    William Harold Newman committed
    	got rid of CONDITION-FUNCTION-NAME logic, since it was messy
    		and it didn't work very well and, given BACKTRACE, it
    		seemed mostly redundant
    	bumped fasl file version since CONDITION layout changed
    	renamed FIND-CALLER-NAME to FIND-CALLER-NAME-AND-FRAME
    	used BREAK's *STACK-TOP-HINT* idiom in ERROR and CERROR too
    	removed PRINT-SIMPLE-ERROR stuff, so that SIMPLE-ERROR just
    		prints as SIMPLE-CONDITION
    	WHITESPACE-CHAR-P belongs in target-char.lisp (and in SB!INT).
Commits on Apr 15, 2001
  1. 0.6.11.37:

    William Harold Newman committed
    	MNA 2001-04-13 CHECK-TYPE/STORE-VALUE patch
    	replaced CHECK-TYPE calls with lighter-weight stuff
    	rewrote CHECK-TYPE-VAR with lighter-weight stuff
    	redid STREAM-ASSOCIATED-WITH-FILE-P
    	renamed PARSE-OPERANDS to !PARSE-VOP-OPERANDS, and
    		GROVEL-OPERANDS to !GROVEL-VOP-OPERANDS, and
    		PARSE-OPERAND-TYPES to !PARSE-VOP-OPERAND-TYPES
    		(and queued up various FOO -> !FOO renamings for
    		after Alpha port is merged)
    	made INVALID-METHOD-ERROR and METHOD-COMBINATION-ERROR
    		stop screwing around with DEFVARs
    	added *DEBUG-BEGINNER-HELP-P*
  2. 0.6.11.36:

    William Harold Newman committed
    	added support for --noprogrammer command line option
    	tweaked tests/*.test.sh stuff to use the most recently built
    		SBCL in the current tree (as other tests/* stuff does)
    	renamed some FD-STREAM stuff to be more explicit
    	PICK-BACKUP-NAME and ENSURE-ONE-OF needn't be so general.
    	reduced generality of BEEP too
    	ENSURE-ONE-OF should signal a TYPE-ERROR.
    	converted some other CERRORs to ERRORs; redid OPEN errors
    	rearranged error output to use pretty printer more
Commits on Apr 12, 2001
  1. 0.6.11.35:

    William Harold Newman committed
    	fixes for problems reported by Nathan Froyd on sbcl-imp
    		2001-04-11..
    	..changed "EXT:" to "SB-EXT:" in  OUTPUT-FLOAT-INFINITY
    	..fixed screwed-up indentation in iterated DESCRIBE
    	fixed --notty/--noprogrammer confusion reported by Christopher
    		Rhodes sbcl-devel 2001-04-08, and generally rewrote
    		sbcl.1 --noprogrammer documentation in anticipation of
    		the way it's likely to actually work
    	various other sbcl.1 revisions
    	NO-APPLICABLE-METHOD doesn't need to do CERROR. (And its
    		message can be printed more prettily, too.:-)
Commits on Apr 7, 2001
  1. 0.6.11.34:

    William Harold Newman committed
    	eliminated distinction between ordinary optimization policy
    		and *INTERFACE-POLICY*
    	eliminated *INTERFACE-POLICY* stuff, including INTERFACE flags
    		to IR1-CONVERT-AUX-BINDINGS, IR1-CONVERT-LAMBDA-BODY,
    		IR1-CONVERT-SPECIAL-BINDINGS
    	converted &OPTIONAL args in IR1-CONVERT-LAMBDA-BODY to &KEY
    	*POLICY-BASIC-QUALITIES* becomes *POLICY-QUALITIES*
    	merged redundant OPTIMIZATION-QUALITY-P and
    		POLICY-QUALITY-NAME-P
    	(Bug 87 was fixed by getting rid of interface policy stuff.)
    	merged nearly-irrelevant SB-INSPECT package into SB-IMPL
    	rearranged new function definition vs. declaration type
    		checking, so that the compiler won't die when
    		(DECLAIM (FTYPE FUNCTION F)) (DEFUN F ..)
    	removed src/compiler/c.log (>10-year-old log file)
    	added *.impure-cload.lisp category of tests, and moved
    		compiler-1.impure.lisp to that category so that
    		it's compiled as it should be
Commits on Apr 6, 2001
  1. 0.6.11.33:

    William Harold Newman committed
    	bug fixes from cmucl-imp..
    	..duplicate keys in macro arg lists, Pierre Mai, 2001-03-30
    	..SXHASH of strings with fill pointers, Tim Moore, 2001-03-29
    		(was actually already fixed in SBCL, but I added a
    		test case or two to make sure that it stays fixed)
    	added/enabled regression tests for SXHASH and PSXHASH
    	Screwed-up lambda list syntax isn't a continuable error.
  2. 0.6.11.32:

    William Harold Newman committed
    	MNA patches from sbcl-devel..
    	..package cleanup (2001-03-29)
    	..bug 94 compiler type mismatch nondetection fix (2001-03-30)
    	(started trying to fix bug 87, following MNA 2001-04-04 patch,
    		but fix doesn't work yet)
    	renamed TYPES-INTERSECT and VALUES-TYPES-INTERSECT to
    		TYPES-EQUAL-OR-INTERSECT and
    		VALUES-TYPES-EQUAL-OR-INTERSECT
    	removed redundant quotes from self-evaluating constants
    	build-under-CMU-CL fixes from Christophe sbcl-devel 2001-04-05
    	added CMU CL 18c workaround in cross-float.lisp
Commits on Apr 4, 2001
  1. 0.6.11.31:

    William Harold Newman committed
    	Pierre Mai READ-SEQUENCE/CONCATENATED-STREAM fix (cmucl-imp
    		2001-03-26)
    	removed broken ".~D" file versioning
    	added PRINT-OBJECT for LOGICAL-HOST so that LOGICAL-PATHNAMEs
    		would print more nicely
    	added ~_ in PRINT-OBJECT (LOGICAL-PATHNAME T)
    	removed unused &OPTIONAL INDENT from DEFPRINTER-FOO functions
    	removed redundant/ugly indentation in DEFPRINTER expansion
Commits on Mar 29, 2001
  1. 0.6.11.30:

    William Harold Newman committed
    	MNA source cleanups (sbcl-devel 2001-03-29), including Raymond
    		Toy's float trap patch (cmucl-imp 2001-03-28)
    	commented out unused stuff in dfun.lisp
  2. 0.6.11.29:

    William Harold Newman committed
    	fixed bug 92: (< SB-EXT:SINGLE-FLOAT-POSITIVE-INFINITY 100)
    		now works, thanks to Raymond Toy's patch to CMU CL.
    	added more infinity-related tests in tests/
    	deleted bad DECLAIM FTYPE for PARSE-DEFTRANSFORM, to fix bug
    		 reported by Christophe Rhodes sbcl-devel 2001-03-28
    	converted some INTERNs to SYMBOLICATE or KEYWORDICATE
    	converted DEF-DEBUG-COMMAND to !DEF-DEBUG-COMMAND as per FIXME
Commits on Mar 27, 2001
  1. 0.6.11.28:

    William Harold Newman committed
     	removed FIXME "MAKE-LOAD-FORM is supposed to be handled
    		here, too", since it's of date; in SBCL DEF!STRUCT
    		handles MAKE-LOAD-FORM by a different mechanism, and
    		vanilla DEFSTRUCT doesn't mess with it at all. (thanks
    		to MNA question)
    	tweaked FIND-FREE-REALLY-FUNCTION so that it doesn't complain
    		about an undefined function when the function is
    		defined in the running Lisp (to fix undefined function
    		warnings reported by MNA sbcl-devel 2001-03-26)
    	moved CONSTANTLY-FOO functions to SB!INT (as per old FIXME)
  2. 0.6.11.27:

    William Harold Newman committed
    	redid BYTE-BLT to use memmove(3) (so GENESIS will work again!)
    	deleted unused %SP-BYTE-BLT, and some unused stuff in SB!SYS
    	added error checking in DEF!STRUCT to catch any programmer
    		errors of (DEFSTRUCT FOO ..) followed by
    		(DEF!STRUCT (.. (:INCLUDE FOO)) ..)
    	MNA MAKE-LOAD-FORM UNIX-HOST bug and patch (fixing a
    		particular instance of the DEF!STRUCT programmer error)
Commits on Mar 26, 2001
  1. 0.6.11.26:

    William Harold Newman committed
    	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.25:

    William Harold Newman committed
    	fixed bug 45a: restored COMPLEX-ACOS and friends from
    		sbcl-2.4.8's #-OLD-SPECFUN code, so that e.g.
    		(ACOS (COMPLEX 1 1)) works now
  2. 0.6.11.24:

    William Harold Newman committed
    	restored floating point infinity support..
    	..Grep for SB-INFINITIES matches in SBCL and fix them.
    	..Remove DEFMACRO INFINITE and its calls.
    	..added a few floating point infinity test cases
  3. 0.6.11.23:

    William Harold Newman committed
    	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 21, 2001
  1. 0.6.11.22:

    William Harold Newman committed
    	made REAL and FLOAT types be represented by UNION-TYPEs, to
    		fix the bug discussed on cmucl-imp as "bug in type
    		handling" ca. 2001-02-12
    	made COMPLEX type translator able to deal with new REAL and
    		FLOAT representations
    	enabled old commented-out type tests now that they can work
  2. 0.6.11.21:

    William Harold Newman committed
    	fixed T-to-AT typo in DEFUN LISTEN
    	made CROSS-TYPEP understand SATISFIES types
    	rewrote the TYPE-UNION method :SIMPLE-INTERSECTION2 (and
    		:COMPLEX-INTERSECTION2) to return UNION-TYPE when
    		that's simpler than the result of just punting; now
    		bug 89 is fixed, (AND KEYWORD (OR KEYWORD NULL)=KEYWORD
  3. 0.6.11.20:

    William Harold Newman committed
    	preparing to attack bug 89..
    	..allowed TYPE-INTERSECTION2, and its type methods, to return
    		INTERSECTION-TYPE values
    	..rewrote SIMPLIFIED-COMPOUND-TYPES so that it handles
    		COMPOUND-TYPE values returned from its SIMPLIFY2
Commits on Mar 20, 2001
  1. 0.6.11.19:

    William Harold Newman committed
    	fixed bug 88: made CROSS-TYPEP support KEYWORD, so that
    		(SUBTYPEP '(MEMBER :FOO) 'KEYWORD)=>T,T
    	made CROSS-TYPEP use EVERY/TYPE and ANY/TYPE for AND and
    		OR types
  2. 0.6.11.18:

    William Harold Newman committed
    	miscellaneous cleanups..
    	..made COPY-TYPE-CLASS-COLDLY use *TYPE-CLASS-FUNCTION-SLOTS*
    		to reduce duplication of information
    	..renamed all the DEFCONSTANT FOO definitions in reader.lisp
    		to DEFCONSTANT +CHAR-ATTR-FOO+ style
    	..renamed IN-BUFFER-LENGTH to +IN-BUFFER-LENGTH+ too
    	..and IN-BUFFER-EXTRA to +IN-BUFFER-EXTRA+
    	..moved byte-interp adjacent to other byte-foo in build order
    	..removed EVAL-WHEN around DEFTYPEs in bit-bash.lisp
    	..fixed DECLAIM of *FASL-FILE*, as per kon@iki.fi cmucl-help
    		2001-03-19 bug report
Commits on Mar 19, 2001
  1. 0.6.11.17:

    William Harold Newman committed
    	(like the changes in 0.6.11.13, except for -UNION this time
    		instead of -INTERSECTION)
    	converted SIMPLE-/COMPLEX- -UNION to -UNION2
    	The old UNION :COMPLEX-UNION and UNION :SIMPLE-UNION methods
    		go away in favor of TYPE-UNION and TYPE-UNION2 logic
    	renamed old 2-arg TYPE-UNION to TYPE-UNION2, and revised
    		it to be more like TYPE-INTERSECTION2
    	defined new &REST-arg TYPE-UNION similar to the &REST-arg
    		TYPE-INTERSECTION defined in 0.6.11.13
    	made some old TYPE-UNION calls use &REST-arg generality
    	MAKE-UNION-TYPE-OR-SOMETHING goes away in favor of new
    		TYPE-UNION.
    	VANILLA-UNION becomes HIERARCHICAL-UNION2.
    	removed support for pre-ANSI SATISFIES types in CTYPEP
Commits on Mar 16, 2001
  1. 0.6.11.16:

    William Harold Newman committed
    	Bug 86 isn't a bug. INTERSECTION is an unknown type. And
    		(specifier-type '(and (or number vector) real)) is ok.
    	moved FIXNUMP, BIGNUMP, and RATIOP to SB!INT
    	deleted TARGET-FIXNUMP in favor of SB-INT:FIXNUMP
    	added a xc definition of SB-INT:FIXNUMP in cross-type.lisp
    	fixed doc string for SB-INT:FIXNUMP
    	tweaked type predicate wrappers to facilitate lexical search
  2. 0.6.11.15:

    William Harold Newman committed
    	some cleanups related to the type hackathon in 0.6.11.13..
    	..restored :TYPE declaration for FORMAT slot in NUMERIC-TYPE
    	..restored :TYPE declaration for TYPES slot in COMPOUND-TYPE
    	..moved LIST, CONS, and NULL to a more logical point in
    		*BUILT-IN-CLASSES*
    	..rearranged CTYPE, ANY/TYPE, and EVERY/TYPE to share code
    	..added tests related to CTYPE of COMPOUND-TYPE
    	..redid INTERSECTION :SIMPLE-SUBTYPEP to share EVERY/TYPE too
    	added tests for ANY/TYPE and EVERY/TYPE, fixed EVERY/TYPE
    	moved SWAPPED-ARGS-FUN earlier to facilitate inlining, putting
    		it in SB!INT so it can go in early-extensions.lisp
    	deleted unused LETF and LETF*
Commits on Mar 14, 2001
  1. 0.6.11.14:

    William Harold Newman committed
    	response to MNA message sbcl-devel 2001-03-07..
    	..merged test case to exercise byte compiler bug
    	..merged patch to fix the bug
    	also merged Dan Barlow's explanation (sbcl-devel 2001-03-12)
    		into a comment in the source
Commits on Mar 12, 2001
  1. 0.6.11.13:

    William Harold Newman committed
    	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 Mar 5, 2001
  1. 0.6.11.12:

    William Harold Newman committed
    	moved !PACKAGE-COLD-INIT earlier in cold init so that KEYWORDP
    		will work earlier
    	tidied up UNIX-SIGNAL machinery: no more DEFCONSTANTs,
    		no more re-interning, no more descriptions
    	tweaked RUN-PROGRAM to use UNIX-SIGNAL-NUMBER function instead
    		of old bare SIGFOO constants
    	It's easier and nicer just to coerce all RUN-PROGRAM args
    		than to require that they be SIMPLE-STRINGs.
    	made test/*.test.sh use local sbcl, not installed sbcl, just
    		as other tests do
Commits on Mar 3, 2001
  1. 0.6.11.11:

    William Harold Newman committed
    	reduced code duplication code in FDEFINITION-OBJECT
    	defined *XTYPE?* to help support ongoing type experiments
    	started conditionally fully enabling INTERSECTION-TYPE
    	allowed HAIRY-TYPE elements in INTERSECTION-TYPEs after all,
    		since otherwise INTERSECTION-TYPE can't fix bug 12
    	redefined KEYWORD type as (AND SYMBOL (SATISFIES KEYWORDP))
    	added tests for bug 12 fixedness
Something went wrong with that request. Please try again.