sbcl.git
23 years ago0.6.11.19:
William Harold Newman [Tue, 20 Mar 2001 16:49:07 +0000 (16:49 +0000)]
0.6.11.19:
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

23 years ago0.6.11.18:
William Harold Newman [Tue, 20 Mar 2001 14:59:26 +0000 (14:59 +0000)]
0.6.11.18:
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

23 years ago0.6.11.17:
William Harold Newman [Mon, 19 Mar 2001 23:10:58 +0000 (23:10 +0000)]
0.6.11.17:
(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

23 years ago0.6.11.16:
William Harold Newman [Fri, 16 Mar 2001 22:40:29 +0000 (22:40 +0000)]
0.6.11.16:
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

23 years ago0.6.11.15:
William Harold Newman [Fri, 16 Mar 2001 20:52:40 +0000 (20:52 +0000)]
0.6.11.15:
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*

23 years ago0.6.11.14:
William Harold Newman [Wed, 14 Mar 2001 13:46:52 +0000 (13:46 +0000)]
0.6.11.14:
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

23 years ago0.6.11.13:
William Harold Newman [Mon, 12 Mar 2001 13:47:43 +0000 (13:47 +0000)]
0.6.11.13:
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

23 years ago0.6.11.12:
William Harold Newman [Mon, 5 Mar 2001 01:30:08 +0000 (01:30 +0000)]
0.6.11.12:
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

23 years ago0.6.11.11:
William Harold Newman [Sat, 3 Mar 2001 18:25:29 +0000 (18:25 +0000)]
0.6.11.11:
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

23 years ago0.6.11.10:
William Harold Newman [Fri, 2 Mar 2001 23:48:33 +0000 (23:48 +0000)]
0.6.11.10:
deleted trivial PRINT-OBJECT (FIXUP T) method
tweaked %%TYPEP to start on bug 10, but failed to fix up
type translators (so bug still exists)
Reject non-SYMBOL-valued predicates in SATISFIES types.
Reject bogus NOT type specifiers too. (modulo bug 10 anyway)
ANSI says TYPEP can return generalized boolean, not just
pure BOOLEAN, and having DEFKNOWN TYPEP declare it
narrower than that was unnecessarily fragile.
made %INCF-PCOUNTER-OR-FIXNUM non-inline, at least until it's
less buggy
INCF-PCOUNTER shouldn't be inline either.
PCOUNTER-FIXNUM slot should be unsigned.
added :COPIER NIL to lots of DEFSTRUCTs (just to make target
system a little smaller)

23 years ago0.6.11.9:
William Harold Newman [Fri, 2 Mar 2001 17:36:19 +0000 (17:36 +0000)]
0.6.11.9:
enabled some INTERSECTION-TYPE stuff
made INTERSECTION-TYPE and UNION-TYPE share a parent
This changes the layout of UNION-TYPE: new fasl version again..
defined placeholder SOURCE-TRANSFORM-INTERSECTION-TYPEP

23 years ago0.6.11.8:
William Harold Newman [Thu, 1 Mar 2001 17:29:17 +0000 (17:29 +0000)]
0.6.11.8:
deleted obsolete CONS-UNIQUE-TAG
That changes byte codes, so increment fasl file version.

23 years ago0.6.11.7:
William Harold Newman [Thu, 1 Mar 2001 16:00:12 +0000 (16:00 +0000)]
0.6.11.7:
hacking on 0.6.11.5 patches, continued..
..MAKE-HASH-TABLE :TEST #'EQUAL uses 'EQUAL instead.
..tested that PRINT-PRETTY-ON-STREAM? stuff doesn't get
confused on Gray streams
..added test case for new byte compiler bug
..removed extra DUP in patched GENERATE-BYTE-CODE-FOR-SET
new DEFCONSTANT cleanups, as per AL, sbcl-devel, 2001-02-27
Wrapping DEFCONSTANT +EMPTY-HT-SLOT+ in EVAL-WHEN seems to
cause problems, so instead I moved the +EMPTY-HT-SLOT+
definition 'way early in stems-and-flags.lisp-expr.

23 years ago0.6.11.6:
William Harold Newman [Wed, 28 Feb 2001 14:04:20 +0000 (14:04 +0000)]
0.6.11.6:
hacking on 0.6.11.5 patches..
..Various FIXNUM things in ASH DERIVE-TYPE need to be
TARGET-FIXNUM things.
..tweaked ASH DERIVE-TYPE to make it fit in 80 columns
..defined BECOME-DEFINED-FUNCTION-NAME and
PRINT-PRETTY-ON-STREAM? to reduce cut/paste
..deleted unused %FUNCTION-HEADER-ARGLIST-SLOT and
%FUNCTION-HEADER-NAME-SLOT

23 years ago0.6.11.5:
William Harold Newman [Tue, 27 Feb 2001 22:09:13 +0000 (22:09 +0000)]
0.6.11.5:
MNA hack to DEFCONSTANT-EQX to support cmucl-2.4.19 as xc host
patches ported by MNA from CMU CL..
..no need to export the unused symbols %FUNCTION-HEADER-TYPE,
%FUNCTION-HEADER-ARGLIST, and %FUNCTION-HEADER-NAME
..Upon a stack trace ambiguity in X86-CALL-CONTEXT, choose the
Lisp frame in preference to the C frame as this is the
frame of interest.
..Limit the stack trace failure warning in X86-CALL-CONTEXT to
fails for the immediate frame rather then failures
deeper within the search.
..Catch missing slots in CONDITION-READER-FUNCTION, and signal
an error.
..PPRINT-NEWLINE, PPRINT-INDENT, and PPRINT-TAB should do
nothing when *PRINT-PRETTY* is false.
..Correct the pretty printing by PRINT-UNREADABLE-OBJECT. Only
attempt to print pretty when the stream is a
PRETTY-STREAM (and when *PRINT-PRETTY*) to ensure that
all output goes to the same stream.
..Have PRINT-UNREADABLE-OBJECT respect *PRINT-PRETTY*.
..Fix OUTPUT-CHARACTER to escape the CHAR-NAME. Rework
QUOTE-STRING to not write the delimiting quotes so
that it can be used by OUTPUT-CHARACTER.
..Within GENERATE-BYTE-CODE-FOR-SET, avoid trying to set a
lexical variable with no refs since the compiler
deletes such variables.
..Within SET-LEAF-VALUE-LAMBDA-VAR, avoid trying to set a
lexical variable with no refs since the compiler
deletes such variables.
..Rework the ASH DERIVE-TYPE optimizer to better handle large
negative bounds. Based on suggestions from Raymond Toy.
..Add a defensive declaration to PARSE-SPECIALIZERS.
..Add a defensive declaration to PARSE-DEFMETHOD, as well.
..Silence compiler warnings about undefined function
<hairy-make-instance-name> when compiling a method
containing a MAKE-INSTANCE call.
..Correct the printing of instance objects for which the
length was being incorrectly calculated.

23 years ago(belated 0.6.11.2 checkin notes):
William Harold Newman [Tue, 27 Feb 2001 18:03:28 +0000 (18:03 +0000)]
(belated 0.6.11.2 checkin notes):
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.

23 years ago0.6.11.3:
William Harold Newman [Tue, 27 Feb 2001 13:40:55 +0000 (13:40 +0000)]
0.6.11.3:
Wrap the DEFENUMs in early-objdef.lisp in EVAL-WHEN, to
finish 0.6.11.2/Lemmens bug fix. (This way works,
but EVAL-WHEN inside the DEFENUM macro didn't.)

23 years ago0.6.11.1:
William Harold Newman [Mon, 26 Feb 2001 19:33:09 +0000 (19:33 +0000)]
0.6.11.1:
Address the out-of-order use of SAP-INT-TYPE pointed out by
 Arthur Lemmens on sbcl-devel 2001-02-21..
..Split target-allocate.lisp out of target-sap.lisp.
..target-sap.lisp moves late in stems-and-flags.lisp-expr, while
target-allocate.lisp stays in the same place.

23 years ago0.6.11:
William Harold Newman [Sun, 25 Feb 2001 18:20:45 +0000 (18:20 +0000)]
0.6.11:
tag sbcl_0_6_11

23 years ago0.6.10.23:
William Harold Newman [Fri, 23 Feb 2001 17:54:34 +0000 (17:54 +0000)]
0.6.10.23:
hacking MNA "pcl cleanups" megapatch, phase IV..
The SB-PCL package now USE-PACKAGEs SB-INT and SB-EXT.
SB-INT no longer exports unused E.
SB-INT:ITERATE is now called SB-INT:NAMED-LET, to avoid
collision with SB-PCL::ITERATE.
The SB-ITERATE and SB-WALKER packages now use SB-INT
and SB-EXT too.
Now lotso SB-INT: prefixes in src/pcl/*.lisp can go away.

23 years ago0.6.10.22:
William Harold Newman [Fri, 23 Feb 2001 12:40:08 +0000 (12:40 +0000)]
0.6.10.22:
Sometimes anonymous function names are STRINGs. Make
%DESCRIBE-DOC and %DESCRIBE-FUNCTION-NAME handle that.
hacking MNA "pcl cleanups" megapatch, phase III..
(EVAL-WHEN (:LOAD-TOPLEVEL :EXECUTE) ..) becomes (PROGN ..)
or is elided completely.

23 years ago0.6.10.21:
William Harold Newman [Thu, 22 Feb 2001 20:48:03 +0000 (20:48 +0000)]
0.6.10.21:
turned 'intern.*concatenate' grep matches to SYMBOLICATE
T is a self-evaluating constant and doesn't need to be quoted.
So is NIL.
hacking MNA "pcl cleanups" megapatch, phase II..
NAME-GET-FDEFINITION and NAME-SET-FDEFINITION become
FDEFINITION and (SETF FDEFINITION).

23 years ago0.6.10.20:
William Harold Newman [Thu, 22 Feb 2001 17:27:20 +0000 (17:27 +0000)]
0.6.10.20:
hacking MNA "pcl cleanups" megapatch, phase I..
SB-PCL::%INSTANCE-REF and SB-PCL::INSTANCE-REF become
SB-PCL::CLOS-SLOTS-REF, an inline function.
DEF-CONSTANTLY-FUN doesn't want FDEFINITION after all.

23 years ago0.6.10.19:
William Harold Newman [Thu, 22 Feb 2001 13:44:56 +0000 (13:44 +0000)]
0.6.10.19:
MNA pointed out that bug #25 is gone.
applied MNA "pcl cleanups" megapatch from sbcl-devel 2001-02-19
(will be hacked on some more soon, as per my reply and
ensuing discussion)

23 years ago0.6.10.18:
William Harold Newman [Sun, 18 Feb 2001 17:20:21 +0000 (17:20 +0000)]
0.6.10.18:
MNA bugfixes from sbcl-devel 2001-02-14..
fixed BUG 34 (concerning byte-comp.lisp)
fixed error reporting accessing a missing PCL slot
increased *COMPILER-ERROR-FOO* defaults (by even more than MNA
proposed)

23 years ago0.6.10.17:
William Harold Newman [Wed, 14 Feb 2001 14:20:31 +0000 (14:20 +0000)]
0.6.10.17:
removed LIST-FIRST arg from ANY/TYPE and EVERY/TYPE
replaced MAKE-UNION-TYPE with MAKE-UNION-TYPE-OR-SOMETHING
increased *COMPILER-ERROR-PRINT-FOO* values at MNA's suggestion
MNA pointed out that bug 80 was fixed by his earlier patch.

23 years ago0.6.10.16:
William Harold Newman [Tue, 13 Feb 2001 18:12:30 +0000 (18:12 +0000)]
0.6.10.16:
simplified ANY-TYPE-OP and EVERY-TYPE-OP, and renamed them to
ANY/TYPE and EVERY/TYPE since the interface changed
PUNT-TYPE-METHOD now local and used only once, renamed to PUNT

23 years ago0.6.10.15:
William Harold Newman [Sun, 11 Feb 2001 23:11:36 +0000 (23:11 +0000)]
0.6.10.15:
MNA patches from sbcl-devel e-mail 2001-02-10: Make %DEFUN
update INFO better, and (originally due to Paolo
Amoroso on cmucl-imp) clean up debugger restarts.
also degraded FTYPE mismatch to a STYLE-WARNING instead of
a full WARNING

23 years ago0.6.10.14:
William Harold Newman [Sat, 10 Feb 2001 22:17:17 +0000 (22:17 +0000)]
0.6.10.14:
fixing bug 40..
UPGRADED-ARRAY-ELEMENT-TYPE now signals an error when the type
is undefined.
TYPEP and SUBTYPEP now catch type arguments which are arrays
with undefined element types.
also cleaned up UPGRADED-COMPLEX-PART-TYPE a little..
UPGRADED-COMPLEX-PART-TYPE signals an error for undefined type.
UPGRADED-COMPLEX-PART-TYPE always returns a value which is a
subtype of REAL.

23 years ago0.6.10.13:
William Harold Newman [Thu, 8 Feb 2001 15:08:37 +0000 (15:08 +0000)]
0.6.10.13:
fixed problems reported by Douglas Brebner 2000-01-01..
make.sh and friends now use foo/bar instead of foo/bar/ to
specify directories, since foo/bar/ fails on NetBSD.
(SETF ALIEN:EXTERN-ALIEN) works (instead of dying with
undefined function SB-KERNEL:%SET-SAP-REF-32).

23 years ago0.6.10.12:
William Harold Newman [Wed, 7 Feb 2001 22:11:47 +0000 (22:11 +0000)]
0.6.10.12:
defined OBJECT-NOT-COMPLEX-VECTOR-ERROR
merged MNA patch for #'APPLY error-reporting
added MNA regression test for bug #39

23 years ago0.6.10.11:
William Harold Newman [Wed, 7 Feb 2001 20:04:34 +0000 (20:04 +0000)]
0.6.10.11:
fixed problem pointed out by Raymond Wiker: DEFCONSTANT-EQX
now EVALs EXPR only once per situation
tweaked some compiler output for better line breaking

23 years ago0.6.10.10:
William Harold Newman [Wed, 7 Feb 2001 03:35:08 +0000 (03:35 +0000)]
0.6.10.10:
defined methods for INTERSECTION-TYPE by analogy with
UNION-TYPE methods
added a few tests for the type system

23 years ago0.6.10.9:
William Harold Newman [Thu, 1 Feb 2001 18:42:08 +0000 (18:42 +0000)]
0.6.10.9:
moved BLOCK PUNT-TYPE-METHOD into !DEFINE-TYPE-METHOD
macroexpansion template
made AND types expand into INTERSECTION-TYPE unless they're
too hairy

23 years ago0.6.10.8:
William Harold Newman [Fri, 26 Jan 2001 23:27:52 +0000 (23:27 +0000)]
0.6.10.8:
made Dan Barlow's proposed changes #1 and #4 (from his
sbcl-devel message 2000-01-25)..
#1: x86-validate.h stuff is no longer machine-dependent, so it
is merged into validate.h. x86-validate.h goes away.
#4: runtime.c calls arch_init() again (as in original CMU CL)

23 years ago0.6.10.7:
William Harold Newman [Thu, 25 Jan 2001 18:31:50 +0000 (18:31 +0000)]
0.6.10.7:
merged MNA "minor patches" collection (sbcl-devel 2000-01-25):
logical pathname support for LOAD-1-FOREIGN, and
changes in regression tests (reflect 0.6.10.5 change,
new tests for Gray streams, and fix reader test)
fixed run-tests.sh to check all *.pure.lisp (not just one!)

23 years ago0.6.10.6:
William Harold Newman [Thu, 25 Jan 2001 14:42:00 +0000 (14:42 +0000)]
0.6.10.6:
defined INTERSECTION-TYPE by analogy with UNION-TYPE (aiming
to fix bug #12)
renamed PUNT blocknames in type methods to PUNT-TYPE-METHOD
renamed PUNT-IF-TOO-LONG to PUNT-PRINT-IF-TOO-LONG

23 years ago0.6.10.5:
William Harold Newman [Thu, 25 Jan 2001 03:08:56 +0000 (03:08 +0000)]
0.6.10.5:
MNA patch: Empty namestrings are now "" instead of NIL.
(sbcl-devel 2001-01-24)

23 years ago0.6.10.4:
William Harold Newman [Mon, 22 Jan 2001 03:39:16 +0000 (03:39 +0000)]
0.6.10.4:
merged MNA "Gray streams" (+ packaging tweaks too) patch from
sbcl-devel 2001-01-20
deleted old gray-stream-stubs stuff
boosted fasl file version (new stream class layout)

23 years ago0.6.10.3:
William Harold Newman [Sat, 20 Jan 2001 03:30:51 +0000 (03:30 +0000)]
0.6.10.3:
DESCRIBE now works on STRUCTURE-OBJECTs again.

23 years ago0.6.10.2:
William Harold Newman [Fri, 19 Jan 2001 18:02:07 +0000 (18:02 +0000)]
0.6.10.2:
merged MNA LOAD-FOREIGN patch (sbcl-devel 2001-01-10)
tweaked LOAD-FOREIGN and RUN-PROGRAM to use :ENVIRONMENT
instead of lossy :ENV by preference
renamed GET-UNIX-ENVIRONMENT to SB-EXT:POSIX-ENVIRON, by
analogy with SB-EXT:POSIX-GETENV
removed (MERGE-PATHNAMES PROGRAM "path:") in RUN-PROGRAM,
since it refers to a search list which isn't
defined in SBCL (and since I'd like to remove all
support for search lists anyway).
SB-EXT is a public interface package not really intended as a
home for implementations; switched IN-PACKAGEs
to use SB-IMPL instead
To support this, SB-IMPL should USE SB-C-CALL and SB-ALIEN
as SB-EXT does.
made RUN-PROGRAM default to copying Unix environment
added LOAD-FOREIGN and RUN-PROGRAM test cases

23 years ago0.6.10.1:
William Harold Newman [Wed, 17 Jan 2001 14:45:42 +0000 (14:45 +0000)]
0.6.10.1:
made revised STRING-FOO functions accept string designators
instead of just strings (thanks to MNA bug report)

23 years ago0.6.10:
William Harold Newman [Mon, 15 Jan 2001 02:28:27 +0000 (02:28 +0000)]
0.6.10:
got confused and tagged -- I think -- 0.6.9.23 as sbcl_0_6_10
redid distribution scripts so that .tar files expand into
sbcl-x.y.z/ instead of ./

23 years ago0.6.9.23:
William Harold Newman [Sun, 14 Jan 2001 18:54:21 +0000 (18:54 +0000)]
0.6.9.23:
fixes in code-extra and compiler-extra
Don't use deprecated POSITION-IF-NOT.

23 years ago0.6.9.22:
William Harold Newman [Tue, 9 Jan 2001 22:13:22 +0000 (22:13 +0000)]
0.6.9.22:
moved my optimization patches to contrib/ so that I can keep
them under the same revision control as SBCL itself
Fix declarations in host-alieneval.lisp so that
DEF-ALIEN-VARIABLE will work.

23 years ago(0.6.9.21, continued:)
William Harold Newman [Mon, 8 Jan 2001 03:50:57 +0000 (03:50 +0000)]
(0.6.9.21, continued:)
checked in overlooked file

23 years ago0.6.9.21:
William Harold Newman [Mon, 8 Jan 2001 03:44:51 +0000 (03:44 +0000)]
0.6.9.21:
strengthened condition system error-checking to fix the bug
reported by Eric Marsden on cmucl-imp@cons.org
2001-01-06
undid DEFTRANSFORM %WITH-ARRAY-DATA since it didn't work right
WITH-ARRAY-DATA :OFFSET-VAR stuff tidied up (e.g. no longer
IGNORABLE)
replaced amazing old STRING-FOO functions with smaller,
simpler, slightly slower versions

23 years ago0.6.9.20:
William Harold Newman [Sun, 7 Jan 2001 01:58:21 +0000 (01:58 +0000)]
0.6.9.20:
MNA patch for bug #30 and other readtable-related stuff
added tests for FIND and friends (anticipating new transforms)
fixed dumb error-reporting bug in CANONIZED-DECL-SPEC

23 years ago0.6.9.19:
William Harold Newman [Sat, 6 Jan 2001 01:46:16 +0000 (01:46 +0000)]
0.6.9.19:
set *AUTO-EVAL-IN-FRAME* default to NIL to work around failure
at debug prompt after Ctrl-C

23 years ago0.6.9.18:
William Harold Newman [Fri, 5 Jan 2001 17:10:00 +0000 (17:10 +0000)]
0.6.9.18:
fixed stupid wrong-stream bug in %DESCRIBE-COMPILED-FROM
MNA's filesys patches (from sbcl-devel 26 Dec 2000)
added DEFTRANSFORM for %WITH-ARRAY-DATA en route to speeding
up SORT, FIND, and other things

23 years ago0.6.9.17:
William Harold Newman [Tue, 2 Jan 2001 00:44:30 +0000 (00:44 +0000)]
0.6.9.17:
deleted *INITIAL-POLICY* and *INITIAL-INTERFACE-POLICY*, since
they seem irrelevant in the ANSI world of 1 source
file per compile command
deleted *INITIAL-PACKAGE* for the same reason
renamed *DEFAULT-POLICY* and *DEFAULT-INTERFACE-POLICY* to
*POLICY* and *INTERFACE-POLICY*
made PROCESS-OPTIMIZE-DECL remove duplicate alist entries

23 years ago0.6.9.16:
William Harold Newman [Mon, 1 Jan 2001 19:02:10 +0000 (19:02 +0000)]
0.6.9.16:
Happy New Year! May all your projects be on schedule.:-|
renamed POLICIES to LTN-POLICY
removed some inlining in ltn.lisp
simplified LTN-ANALYZE-BLOCK in ltn.lisp (removing caching)
added code to catch bogus full calls
tweaked PROFILE so it accepts (SETF FOO)-style names
tweaked DEFPRINTER to conserve whitespace
moved DEFPRINTER to SB-INT, since it's not compiler-specific

23 years ago0.6.9.14:
William Harold Newman [Sun, 31 Dec 2000 16:29:27 +0000 (16:29 +0000)]
0.6.9.14:
renamed more PCL stuff for unintern after warm init
CONSTANTLY now returns only a single value, as per ANSI.
removed CONSTANT-FUNCTION declaration support
PROCLAIM now recognizes ANSI abbreviated type declarations,
sharing code with DECLARE to do so.
DECLARE no longer supports old-style (CLTL1) FUNCTION decls.
removed some PCL nonstandard decls
renamed other nonstandard PCL decls to look more private
removed (DECLARE (SB-PCL::CLASS ..)) hack in DECLARE logic

23 years ago0.6.9.13:
William Harold Newman [Sat, 30 Dec 2000 01:30:20 +0000 (01:30 +0000)]
0.6.9.13:
(The "version broken" problem above was because the change
in POLICY type was not binary compatible, and I didn't
bump the version number, and I was crashing in some
private .sbclrc code compiled under the old system.
Oops..)
The POLICY-QUALITY type no longer includes NULL.
renamed more PCL stuff for unintern after warm init

23 years ago0.6.9.12:
William Harold Newman [Fri, 29 Dec 2000 18:39:01 +0000 (18:39 +0000)]
0.6.9.12:
(This version is broken. It builds, but can't build itself,
dying in vop.lisp with what looks like memory
corruption. 0.6.9.11 might be broken the same way.)
no more special support for DECLARE SB-PCL::CLASS
moved policy stuff into policy.lisp
moved !UNINTERN-INIT-ONLY-STUFF to after warm init
renamed some PCL stuff to make it be uninterned after warm init

23 years ago0.6.9.11:
William Harold Newman [Fri, 29 Dec 2000 14:36:48 +0000 (14:36 +0000)]
0.6.9.11:
more cleanups of optimization policy machinery..
renamed CSPEED slot to COMPILATION-SPEED, and BREVITY slot to
INHIBIT-WARNINGS, and got rid of other BREVITY refs
STRUCTURE-OBJECT-based POLICY caues too many cold init hassles
w/ COPY-POLICY and slot accessors. Use alists instead.
Now PROCESS-OPTIMIZE-DECLARATION can look up qualities
directly in *POLICY-BASIC-QUALITIES*.

23 years ago0.6.9.10:
William Harold Newman [Wed, 20 Dec 2000 22:42:34 +0000 (22:42 +0000)]
0.6.9.10:
ANSI fix: PARSE-NAMESTRING signals TYPE-ERROR on host mismatch.
various cleanups in optimization policy machinery..
renamed COOKIE to POLICY
used *POLICY-QUALITY-SLOTS* in POLICY-related def'ns
simplified POLICY macro: no implicit AND
factored out MAYBE-FP-WAIT policy dependence in float.lisp

23 years ago0.6.9.9:
William Harold Newman [Wed, 20 Dec 2000 03:29:21 +0000 (03:29 +0000)]
0.6.9.9:
added remaining MNA logical pathname regression tests to tests/
fixed my screwed-up CFP-OUTPUT-FILE-DEFAULT implementation
fixed PARSE-NAMESTRING so it always returns two values
added DEFKNOWNs for logical pathname stuff

23 years ago0.6.9.8:
William Harold Newman [Tue, 19 Dec 2000 14:13:04 +0000 (14:13 +0000)]
0.6.9.8:
MNA logical pathname patch (sbcl-devel Dec 12), lightly subbed
added most MNA logical pathname regression tests to tests/
belatedly bumped fasl file version because package
SB-CONDITIONS is gone

23 years ago0.6.9.7:
William Harold Newman [Thu, 14 Dec 2000 17:05:30 +0000 (17:05 +0000)]
0.6.9.7:
fixed cross-compilation under CMU CL (Viva la Alpha port!)

23 years ago0.6.9.6:
William Harold Newman [Wed, 13 Dec 2000 20:31:04 +0000 (20:31 +0000)]
0.6.9.6:
MNA patch to merge package SB!CONDITIONS into SB!KERNEL

23 years ago0.6.9.5:
William Harold Newman [Tue, 12 Dec 2000 23:59:40 +0000 (23:59 +0000)]
0.6.9.5:
BACKEND-BYTE-FASL-FILE-TYPE goes away as per 0.6.9.4.
Simplify TRY-DEFAULT-TYPES and friends by using single default
types instead of lists of default types.
more work on bug #17, loosely based on MNA's patch; still broke
started tests/pathnames.impure.lisp
failed to fix cross-compilation under CMU CL

23 years ago0.6.9.4:
William Harold Newman [Sun, 10 Dec 2000 22:22:44 +0000 (22:22 +0000)]
0.6.9.4:
MNA software-version patch + Raymond Wiker FreeBSD corrections
started fix for bug #17 (loosely based on MNA's patch) by
ANSIfying COMPILE-FILE-PATHNAME
*DEFAULT-PATHNAME-DEFAULTS* and SEARCH-LIST stuff can be
initialized in a toplevel form, so !FILESYS-COLD-INIT
can go away.

23 years ago0.6.9.3:
William Harold Newman [Thu, 7 Dec 2000 22:27:44 +0000 (22:27 +0000)]
0.6.9.3:
As per Raymond Wiker, FreeBSD really does need
CANNOT_GET_TO_SINGLE_STEP_FLAG.
applied MNA patch, fixed Linux signal handling, woo hoo!

23 years ago0.6.9.2:
William Harold Newman [Mon, 4 Dec 2000 15:30:51 +0000 (15:30 +0000)]
0.6.9.2:
renamed "linux-stubs" to "ldso-stubs"
removed old BSD-only ld.so stubs

23 years ago0.6.9.1:
William Harold Newman [Sun, 3 Dec 2000 15:12:00 +0000 (15:12 +0000)]
0.6.9.1:
added FLUSH-STANDARD-OUTPUT-STREAMS in INVOKE-DEBUGGER
applied Raymond Wiker's patch to share the stubs code from
Linux (instead of using BSD-only stubs)

23 years ago0.6.9:
William Harold Newman [Tue, 28 Nov 2000 16:48:59 +0000 (16:48 +0000)]
0.6.9:
MNA debug/error patch: fixes to help view SIGINT problems

23 years ago0.6.8.26:
William Harold Newman [Mon, 27 Nov 2000 17:20:27 +0000 (17:20 +0000)]
0.6.8.26:
MNA megapatch to src/runtime/, zillions of little fixes

23 years ago0.6.8.25:
William Harold Newman [Fri, 24 Nov 2000 18:33:50 +0000 (18:33 +0000)]
0.6.8.25:
redid DEFMETHOD macroexpansion, fixing bug 9 (problems with
IGNORE/IGNORABLE declarations) and generally
tidying up
added copyright boilerplate to tests/*.lisp

23 years ago0.6.8.24:
William Harold Newman [Fri, 24 Nov 2000 14:26:52 +0000 (14:26 +0000)]
0.6.8.24:
fixed bug 8 by replacing (ERROR 'PROGRAM-ERROR ..) by
(ERROR 'SIMPLE-PROGRAM-ERROR ..) everywhere
tweaked MNAME-SYM in DEFMETHOD to avoid dependence on *PACKAGE*

23 years ago0.6.8.23:
William Harold Newman [Tue, 21 Nov 2000 01:15:08 +0000 (01:15 +0000)]
0.6.8.23:
fixed bug 5: TYPE-ERROR-signalling stubs for Gray stream funs

23 years ago0.6.8.22:
William Harold Newman [Mon, 20 Nov 2000 02:10:29 +0000 (02:10 +0000)]
0.6.8.22:
gave up fixing bug 3, documented workaround instead:-|
fixed bug 4: no WARNING for DECLAIM FTYPE for slot accessor fun

23 years ago0.6.8.21:
William Harold Newman [Sun, 19 Nov 2000 17:42:35 +0000 (17:42 +0000)]
0.6.8.21:
rewrote DEBUG-PROMPT to be less confusing when ILISP and SBCL
fight and end up 8+ levels deep in the debugger, then
relented and gave some advance warning of prompt change
deleted unsupported *DEBUG-PROMPT*
We don't really need an END-OF-THE-WORLD restart. The point was
to make sure a naive user can get out with Ctrl-C. So
mention (SB-EXT:QUIT) in entering-the-debugger message.
reduced choice-of-output-stream chaos in debugger

23 years ago0.6.8.x:
William Harold Newman [Thu, 16 Nov 2000 15:46:14 +0000 (15:46 +0000)]
0.6.8.x:
updated NEWS and BUGS to reflect merged MNA megapatch

23 years ago0.6.8.19:
William Harold Newman [Wed, 15 Nov 2000 15:14:48 +0000 (15:14 +0000)]
0.6.8.19:
tweaked debug frame printing to discourage too-long lines
"Arg" is a great abbrev, but not great enough for error msgs.
fixed *DEBUGGER-HOOK* thinko

23 years ago0.6.8.18:
William Harold Newman [Wed, 15 Nov 2000 02:29:38 +0000 (02:29 +0000)]
0.6.8.18:
removed MNA "which patch is this?" comments
removed undocumented "MNA: locally patch" patch

23 years ago0.6.8.17:
William Harold Newman [Mon, 13 Nov 2000 18:16:46 +0000 (18:16 +0000)]
0.6.8.17:
deleted more unused stuff

23 years ago0.6.8.16:
William Harold Newman [Sat, 11 Nov 2000 22:57:14 +0000 (22:57 +0000)]
0.6.8.16:
miscellaneous cleanups

23 years ago0.6.8.15:
William Harold Newman [Sat, 11 Nov 2000 13:17:36 +0000 (13:17 +0000)]
0.6.8.15:
merged DTC's compound CONS type patches
enabled (and fixed) tests in tests/compound-cons.impure.lisp
canonicalized types (CONS *) etc. to (CONS T) etc.

23 years ago0.6.8.14:
William Harold Newman [Fri, 10 Nov 2000 20:21:09 +0000 (20:21 +0000)]
0.6.8.14:
deleted MNA's tweaked version of DTC's compound CONS type

23 years ago0.6.8.13:
William Harold Newman [Thu, 9 Nov 2000 17:51:36 +0000 (17:51 +0000)]
0.6.8.13:
added tests for compound CONS types

23 years ago0.6.8.12:
William Harold Newman [Thu, 9 Nov 2000 16:03:32 +0000 (16:03 +0000)]
0.6.8.12:
removed "MNA: open-coded-simple-array patch"
Argh! typecase-implicit-declarations doesn't add declarations
after all.. just a messy no-op! And when I rewrite it
to 'work', I finally notice it's a fundamentally broken
idea. Gads. Delete it (and hope for real fix for #62).
left small rewrites in CASE-BODY: Naming quantities is good.
exported SB-KERNEL:%PUTHASH so DEFUN sees DEFKNOWN & vice versa
removed bogus FOLDABLEness from hash table accessors

23 years ago0.6.8.11:
William Harold Newman [Wed, 8 Nov 2000 00:18:59 +0000 (00:18 +0000)]
0.6.8.11:
SANE-PACKAGE now issues TYPE-ERROR, not just vanilla ERROR.
removed *COMPILE-TIME-DEFINE-MACROS*
added DTC comments clarifying that "MNA: dump-circular hack"
is a suboptimal solution
added underlying MNA typecase-implicit-declarations problem
to the BUGS list as bug #62
finished reviewing MNA megapatch (but haven't removed
rejected open-coded-simple-array-patch yet)

23 years ago0.6.8.10:
William Harold Newman [Tue, 7 Nov 2000 17:50:11 +0000 (17:50 +0000)]
0.6.8.10:
tested for bug 21, didn't find it, removed it from BUGS.
added SANE-PACKAGE to handle non-PACKAGE values of *PACKAGE*
deleted some unused and redundant stuff from PCL

23 years ago0.6.8.9:
William Harold Newman [Sun, 5 Nov 2000 21:37:59 +0000 (21:37 +0000)]
0.6.8.9:
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

23 years ago0.6.8.9:
William Harold Newman [Sun, 5 Nov 2000 21:17:21 +0000 (21:17 +0000)]
0.6.8.9:
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

23 years ago0.6.8.8: undid "MNA: re-defconstant patch", added long explanation
William Harold Newman [Thu, 2 Nov 2000 15:27:41 +0000 (15:27 +0000)]
0.6.8.8: undid "MNA: re-defconstant patch", added long explanation

23 years ago0.6.8.7: working regression tests for problems fixed by MNA megapatch
William Harold Newman [Thu, 2 Nov 2000 00:12:26 +0000 (00:12 +0000)]
0.6.8.7: working regression tests for problems fixed by MNA megapatch

23 years ago0.6.8.6: applied MNA megapatch (will be edited shortly)
William Harold Newman [Wed, 1 Nov 2000 23:58:41 +0000 (23:58 +0000)]
0.6.8.6: applied MNA megapatch (will be edited shortly)

23 years ago0.6.8.5: fixed bug 1, and made clearer/cleaner debugger restarts
William Harold Newman [Wed, 1 Nov 2000 19:37:48 +0000 (19:37 +0000)]
0.6.8.5: fixed bug 1, and made clearer/cleaner debugger restarts

23 years ago0.6.8.3: added CODE-COMPONENT slot for NO-DEBUG-INFO condition
William Harold Newman [Wed, 1 Nov 2000 01:10:03 +0000 (01:10 +0000)]
0.6.8.3: added CODE-COMPONENT slot for NO-DEBUG-INFO condition

23 years ago0.6.8.3: added CODE-COMPONENT slot for NO-DEBUG-INFO condition
William Harold Newman [Tue, 31 Oct 2000 19:40:14 +0000 (19:40 +0000)]
0.6.8.3: added CODE-COMPONENT slot for NO-DEBUG-INFO condition

23 years ago0.6.8.2: converted /SHOW to /SHOW0 in SUB-GC to avoid infinite regress
William Harold Newman [Mon, 30 Oct 2000 18:37:17 +0000 (18:37 +0000)]
0.6.8.2: converted /SHOW to /SHOW0 in SUB-GC to avoid infinite regress

23 years ago made debugger handle errors in printing *DEBUG-CONDITION*
William Harold Newman [Sat, 28 Oct 2000 19:04:57 +0000 (19:04 +0000)]
     made debugger handle errors in printing *DEBUG-CONDITION*

23 years ago0.6.8: tweaked SXHASH DEFTRANSFORMs, fixed HANDLER-BIND
William Harold Newman [Thu, 26 Oct 2000 23:21:10 +0000 (23:21 +0000)]
0.6.8: tweaked SXHASH DEFTRANSFORMs, fixed HANDLER-BIND

23 years ago0.6.7.26: fixed breakpoints on OpenBSD
William Harold Newman [Wed, 25 Oct 2000 02:37:24 +0000 (02:37 +0000)]
0.6.7.26: fixed breakpoints on OpenBSD

23 years ago0.6.7.24: fixed some gcc warnings
William Harold Newman [Sun, 22 Oct 2000 15:31:05 +0000 (15:31 +0000)]
0.6.7.24: fixed some gcc warnings

23 years ago0.6.7.23: Use DEFTRANSFORM CONCATENATE for efficiency after all.
William Harold Newman [Sat, 21 Oct 2000 17:32:17 +0000 (17:32 +0000)]
0.6.7.23: Use DEFTRANSFORM CONCATENATE for efficiency after all.

23 years ago0.6.7.22: removed CVS dollar-Header-dollar tags from sources
William Harold Newman [Fri, 20 Oct 2000 23:30:33 +0000 (23:30 +0000)]
0.6.7.22: removed CVS dollar-Header-dollar tags from sources

23 years ago0.6.7.21: a little less cut-and-paste programming in array.lisp
William Harold Newman [Fri, 20 Oct 2000 20:41:45 +0000 (20:41 +0000)]
0.6.7.21: a little less cut-and-paste programming in array.lisp