sbcl-cvs-import Log


Commit Date  
[a18f0a] by William Harold Newman William Harold Newman

0.6.11.40:
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.

2001-04-17 14:43:42 Tree
[9c7932] by William Harold Newman William Harold Newman

0.6.11.39:
trivial changes syncing my OpenBSD and Linux checkouts

2001-04-16 16:33:07 Tree
[231721] by William Harold Newman William Harold Newman

0.6.11.38:
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).

2001-04-16 14:05:41 Tree
[2c6b90] by William Harold Newman William Harold Newman

0.6.11.37:
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*

2001-04-15 16:42:05 Tree
[f0338f] by William Harold Newman William Harold Newman

0.6.11.36:
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

2001-04-15 00:24:44 Tree
[99bcb3] by William Harold Newman William Harold Newman

0.6.11.35:
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.:-)

2001-04-12 22:50:34 Tree
[6c7655] by William Harold Newman William Harold Newman

0.6.11.34:
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

2001-04-07 17:23:13 Tree
[de201a] by William Harold Newman William Harold Newman

0.6.11.33:
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.

2001-04-06 18:08:11 Tree
[a8fa26] by William Harold Newman William Harold Newman

0.6.11.32:
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

2001-04-06 13:02:09 Tree
[1c347e] by William Harold Newman William Harold Newman

0.6.11.31:
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

2001-04-04 19:47:19 Tree
[2d0b88] by William Harold Newman William Harold Newman

0.6.11.30:
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

2001-03-29 01:50:35 Tree
[54a2e6] by William Harold Newman William Harold Newman

0.6.11.29:
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

2001-03-29 00:17:20 Tree
[568b75] by William Harold Newman William Harold Newman

0.6.11.28:
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)

2001-03-27 21:27:50 Tree
[0b3ec4] by William Harold Newman William Harold Newman

0.6.11.27:
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)

2001-03-27 19:50:40 Tree
[334af3] by William Harold Newman William Harold Newman

0.6.11.26:
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.

2001-03-26 20:55:55 Tree
[ce6250] by William Harold Newman William Harold Newman

0.6.11.25:
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

2001-03-22 18:04:23 Tree
[c8af15] by William Harold Newman William Harold Newman

0.6.11.24:
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

2001-03-22 13:51:36 Tree
[d147d5] by William Harold Newman William Harold Newman

0.6.11.23:
converted UNION :SIMPLE-SUBTYPEP method to use EVERY/TYPE
made tests/type.*-xc.lisp dependent on :SB-TEST
replaced ASSERT calls with AVER

2001-03-22 01:03:34 Tree
[5470bf] by William Harold Newman William Harold Newman

0.6.11.22:
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

2001-03-21 21:47:36 Tree
[222172] by William Harold Newman William Harold Newman

0.6.11.21:
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

2001-03-21 12:29:12 Tree
[95816d] by William Harold Newman William Harold Newman

0.6.11.20:
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

2001-03-21 01:12:20 Tree
[83b88e] by William Harold Newman William Harold Newman

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

2001-03-20 16:49:07 Tree
[143eda] by William Harold Newman William Harold Newman

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

2001-03-20 14:59:26 Tree
[cbaa19] by William Harold Newman William Harold Newman

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

2001-03-19 23:10:58 Tree
[0aafa7] by William Harold Newman William Harold Newman

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

2001-03-16 22:40:29 Tree
Older >