sbcl Log


Commit Date  
[1bbd40] (6.3 kB) by Christophe Rhodes Christophe Rhodes

0.8alpha.0.20:
Make OpenMCL a suitable slamming host:
... fix slam.sh
... :if-exists :supersede for *output-files-for-genesis*
Since OpenMCL builds still work, announce clisp as a suitable host
for the cross-compiler.

2003-05-08 15:43:21 View
Download
[22b819] (6.2 kB) by Christophe Rhodes Christophe Rhodes

0.8alpha.0.13:
CLISP build megapatch
... mostly putting #-SB-XC in front of :COMPILE-TOPLEVEL,
because clisp gives a full warning for function and
macro redefinition;
... workaround clisp's buggy pretty printer by not exercising it
as much: use (INHIBIT-WARNINGS 3);
... explicit :INITIAL-ELEMENT 0 when we're using 0 to mean
"uninitialized" in MAKE-ARRAY;
... SPECIAL-OPERATOR-P isn't a good test on the host for what
can become a target macro;
... slightly more portable floating point logic:
Explicitly set *READ-DEFAULT-FLOAT-FORMAT* so that we
don't create host LONG-FLOATs by accident;
LOAD-TIME-VALUE magic for negative floating point zeros;
Minor associated text file frobbage
... braindump some unrelated TODO items
Obligatory runtime code improvement
... fix one warning in gencgc.h

2003-05-05 14:09:03 View
Download
[148e38] (5.9 kB) by William Harold Newman William Harold Newman

0.7.10.18:
merged Robert E. Brown shush-the-compiler patch (sbcl-devel
2002-12-13)
minor changes...
...removed DECLAIM FTYPE for
SLOT-ACCESSOR-INLINE-EXPANSION-DESIGNATORS on the
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)

2002-12-14 22:10:06 View
Download
[6c4d4d] (5.9 kB) by Alexey Dejneka Alexey Dejneka

0.7.9.1:
* Added #+cmu(ext:quit) to build scripts
* Fixed SIMPLE-SUBTYPEP type method for FUNCTIONs

2002-10-26 05:30:58 View
Download
[b062a0] (5.9 kB) by William Harold Newman William Harold Newman

0.7.7.24:
READ-VAR-INTEGER and READ-PACKED-BIT-VECTOR are external to
SB!C, so don't need double colons in SB!C: prefixes.
made (FORMAT "foo" "bar") fail earlier, at
FILL-POINTER-OUTPUT-STREAM ctor time, instead of
when the FILL-POINTER-OUTPUT-STREAM is first used for
output
got rid of *TOPLEVEL-LAMBDA-MAX* and
*PENDING-TOPLEVEL-LAMBDAS* (and FORCE-P arg to
SUB-COMPILE-TOPLEVEL-LAMBDAS and
COMPILE-TOPLEVEL-LAMBDAS, and TOPLEVEL-CLOSURE
in COMPILE-TOPLEVEL, and various now-redundant
FORCE-P-only calls to COMPILE-TOPLEVEL-LAMBDAS)

2002-10-10 16:55:05 View
Download
[bcbbce] (6.0 kB) by William Harold Newman William Harold Newman

0.7.1.47:
reviewed OPTIMIZE declarations, (mostly trying to avoid
inadvertently imposing large %DETECT-STACK-EXHAUSTION
overhead)...
...bumped SAFETY 1 to SAFETY 2 in warm.lisp (since
(> SPEED SAFETY) isn't what we want)
...changed (SPEED 3) (SAFETY 3) to (SPEED 2) (SAFETY 2) in
SORT logic
...removed OPTIMIZE declarations in time.lisp, since there's
no up-to-date compelling reason to use other than the
default optimization there.
...removed (OPTIMIZE (SAFETY 3)) in DEFTRANSFORM ARRAY-HEADER-P,
since there seems to be no reason for it
rearranged insert-%DETECT-STACK-EXHAUSTION code to make
indentation less ridiculous

2002-03-19 20:17:50 View
Download
[08671c] (5.9 kB) by William Harold Newman William Harold Newman

0.7.1.23:
catching stack overflow, part I...
...defined placeholder %DETECT-STACK-EXHAUSTION
...arranged for it to be called on entry to lambdas when
(OR (> SAFETY (MAX SPEED SPACE)) (= SAFETY 3))
...downgraded SAFETY to 2 (= SPEED) in SBCL's own code, since
SBCL's own code seems to be at little risk of infinite
recursion

2002-02-21 23:01:25 View
Download
[34dd23] (5.8 kB) by William Harold Newman William Harold Newman

(I didn't have convenient access to the Internet for almost a week, so
these versions just piled up on my computer and then I checked 'em
into CVS all at once.)

0.7.1.5:
made TRANSFORM-CALL provide more informative DEBUG-NAMEs
factored out COMBINATION-FUN-SOURCE-NAME and used it to
support this

0.7.1.6:
tweaked comments
(hunted fruitlessly for bug 147 fix)

0.7.1.7:
(hunted fruitlessly for bug 148 fix)
rewrote MAYBE-EXPAND to try to increase clarity

0.7.1.8:
factored out FUNCTIONAL-SOMEWHAT-LETLIKE-P and
FUNCTIONAL-LETLIKE-P
fixed part of the misbehavior in the bug 148 test case (but
not bug 148 itself, alas) by removing the assumption
that non-null FUNCTIONAL-KIND implies
FUNCTIONAL-SOMEWHAT-LETLIKE-P

0.7.1.9:
still trying to fix bug 148...
...stopped MAYBE-REANALYZE-FUN from trying to reanalyze :DELETED
functionals
s/maybe-reanalyze-fun/maybe-reanalyze-functional/
s/reanalyze-funs/reanalyze-functionals/
s/new-funs/new-functionals/

0.7.1.10:
still trying to fix bug 148...
...IR2-CONVERT-CLOSURE shouldn't be called on :DELETED functionals!
...Given that the :DELETED functional is making it all the way
to the IR2-CONVERT-CLOSURE stage, maybe the failure
in MAYBE-REANALYZE-FUNCTIONAL that I made go away in
0.7.1.9 was a good thing. Reinstate it, though more
clearly (as "shouldn't be reanalyzing :DELETED functional"
rather than a type error when trying to find the COMPONENT
of a LAMBDA) than before.
...stopped IR2-CONVERT-CLOSURE from trying to intensively
check CLAMBDA-to-COMPONENT relationship invariants
for :DELETED CLAMBDAs
made INVALID-FREE-FUN-P return true for :DELETED FUNCTIONALs
just on general principles

0.7.1.11:
s/local-call-lossage/locall-already-let-converted/
various puttering and tidying trying to understand bug 148
specifically and code deletion generally

0.7.1.12:
Having walked through the bug 148 problem more carefully, I can
see that before KIDIFY1 is deleted, it's first LET
converted. Ergo, a :DELETED value is consistent with
LET conversion after all, so...
...relaxed the change in IR1-CONVERT-LOCAL-COMBINATION
made in 0.7.1.8, so that now :DELETED is assumed
to be due to LET conversion after all

0.7.1.13:
made :ENCAPSULATE T the default for TRACE, since the
breakpoint-based version still doesn't work reliably
and since the ANSI description of TRACE is partial to
tracing named things anyway

2002-02-07 20:37:51 View
Download
[0cfad8] (5.8 kB) by William Harold Newman William Harold Newman

0.pre7.86.flaky7.1:
(still dies with the same assertion failure)
reexpressing things in an effort to understand them..
..renamed DFO-WALK-CALL-GRAPH to DFO-SCAVENGE-CALL-GRAPH
..s/new-function/new-fun/
..s/reanalyze-function/reanalyze-fun/
..s/local-call-analyze-until-done/locall-analyze-clambdas-until-done/
..s/local-call-analyze/locall-analyze-component/
..s/local-call-analyze-1/locall-analyze-fun-1/

2001-11-10 17:30:36 View
Download
[5ec8d0] (5.5 kB) by William Harold Newman William Harold Newman

0.pre7.86:
s/top-level/toplevel/, to conform with ANSI EVAL-WHEN
situation names

2001-11-04 01:07:06 View
Download
[dec94b] (5.5 kB) by William Harold Newman William Harold Newman

0.pre7.49:
deleting old byte-compiler/byte-interpreter stuff..
..find . -name *byte*lisp | xargs rm
..find . -name *.lisp | xargs egrep -i 'byte.*comp'

2001-10-06 17:18:30 View
Download
[7c07a6] (5.7 kB) by William Harold Newman William Harold Newman

0.pre7.14.flaky4:
(This version builds without :SB-INTERPRETER, and sort of
works (after commenting out half a dozen regression
tests) but can't bootstrap itself because of its
inability to FUNCALL a COMPILEd function in the
interpreter. The debugger is also broken.)
trying to get things to work better without :SB-INTERPRETER..
..redid EVAL-WHEN handling....
....moved all top-level-EVAL-WHEN handling into
PROCESS-TOP-LEVEL-FORM
....made DEF-IR1-TRANSLATOR EVAL-WHEN handle only the
(trivial) non-top-level-form case
....deleted DO-EVAL-WHEN-STUFF
....added COMPILE-TIME-TOO-P arguments to
PROCESS-TOP-LEVEL-FORM and friends
....wrote PARSE-EVAL-WHEN-SITUATIONS
deleted unused %%DEFCONSTANT reference in byte-comp.lisp
Now that EVAL-WHEN is handled differently, we end up in
DEFUN %DEFUN instead of DEF-IR1-TRANSLATOR %DEFUN
at cross-compile time. Now that EVAL-WHEN is
becoming sane, the day may be approaching that those
can become the same, but for now, I just decorated
DEFUN %DEFUN with readmacros so it won't try to do
impossible things at cross-compilation time.
moved *UNIVERSAL-FUNCTION-TYPE* into SB!KERNEL exports
renamed PROCESS-SOURCE to SUB-SUB-COMPILE-FILE
set *TOP-LEVEL-LAMBDA-MAX* to 1 so the %COMPILER-DEFSTRUCT
hack in PROCESS-TOP-LEVEL-FORM can go away
Now that EVAL-WHEN is handled differently, the system stumbles
over other new problems. Debugging non-ANSI cruft is
no fun, so try to ANSIfy out of the problem, rushing
boldly where no angel has tread before..
..made PROCESS-TOP-LEVEL-FORM handle SYMBOL-MACROLET
..factored handle-SYMBOL-MACROLET logic into
DO-SYMBOL-MACROLET-STUFF (analogous to
DO-MACROLET-STUFF) to support this
..renamed DO-SYMBOL-MACROLET-STUFF and
DO-MACROLET-STUFF to
FUNCALL-IN-SYMBOL-MACROLET-LEXENV and
FUNCALL-IN-MACROLET-LEXENV
..redid PROCESS-TOP-LEVEL-LOCALLY so that it can be used to
help implement MACROLET and SYMBOL-MACROLET
Messing with EVAL-WHEN situations isn't a very understandable
way to suppress enclosed EVAL-WHEN magic. Instead,
use an enclosing LET to suppress top-level-formness.
hacked globaldb.lisp so the cross-compiler won't nuke its own
*INFO-CLASSES* and *INFO-TYPES* while cross-compiling
the target compiler
For some reason, (FLOAT-RADIX "notfloat") => 2, as in the bad
old days. For now, suppress that regression test and
go on. (Getting the happy path to work again is more
urgent than getting error handling right.)
commented out a time.pure.lisp test too, since interpreted
FUNCALL and COMPILE aren't playing nicely right now
commented out a map-tests.impure.lisp test too, since it
trips over what looks like it might be an obscure
byte compiler problem and I hope I can get other stuff
to work OK without it before returning to it
commented out a pathnames.impure.lisp test too, since
interpreted ASSERT isn't working right
commented out some tests in type.impure.lisp for similar reasons
commented out walk.impure.lisp test (Maybe the common theme
in many of these problems is inability to handle
IGNORE-ERRORS in the new interpreter?)

2001-08-20 14:28:33 View
Download
[3bd7a9] (6.0 kB) by William Harold Newman William Harold Newman

0.6.12.49:
made verbose GC output report GET-INTERNAL-RUN-TIME when each
GC happens, so that when you reading a log containing
many verbose GC messages, you have a better chance of
grokking what happened
fixed POSIX-GETENV doc string after Alexey Dejneka pointed out
that it was wrong

0.6.12.50:
removed some #+OpenBSD stubifications, since FILE-LENGTH is no
longer completely broken on OpenBSD now
fixed the skip-trailing-whitespace logic in READ so it no
longer requires a second Ctrl-D char to return EOF

0.6.12.51:
merged MNA HANDLER-CASE patch: Since the compiler seems to be
smart enough to handle it now, use lexical scoping
again instead of the previous dynamic scoping
workaround; and also do #+X86 (FLOAT-WAIT).

0.6.12.52:
quasimerged MNA fix-GCC-warnings patch (sbcl-devel
2001-07-17), editing the source by hand
also made other tweaks to fix GCC warnings
fixed memory leak in wrapped_readlink()

0.6.12.53:
merged MNA port of rtoy COERCE and ARRAY-ELEMENT-TYPE
DEFOPTIMIZERs from CMU CL (sbcl-devel 2001-07-16)
merged MNA port of rtoy irrational math fixes (sbcl-devel
2001-07-16)
added MNA regression tests of irrational functions

0.6.12.54:
merged MNA port of cachopo COPY-READTABLE fix (sbcl-devel
2001-07-17)
merged MNA port of mai DESCRIBE-a-class fix (sbcl-devel
2001-07-17)

0.6.12.55:
added distclean.sh to remove stuff like
customize-target-features.lisp
DEFCONSTANT *FOO* now issues a STYLE-WARNING.
factored out LOOKS-LIKE-NAME-OF-SPECIAL-VAR-P to support this
removed call to no-longer-defined OUTPUT-INTERPRETED-FUNCTION
in PRINT-OBJECT method for INTERPRETED-FUNCTION (which
will hopefully go away real soon anyway)

0.6.12.56:
fixed bug 26: ARRAY-DISPLACEMENT now returns (VALUES NIL 0)
for undisplaced arrays.
fixed bug 55: DEFMACRO-MUNDANELY no longer ignores DOC.
DEFMACRO-MUNDANELY should be in SB-INT.

0.6.12.57:
set default for *DERIVE-FUNCTION-TYPES* to NIL (i.e. ANSI
behavior)
overrode the default within the cross-compiler, so that SBCL
itself is still built the old static efficient way

0.6.12.58:
fixed the DCONSING carry case in PROFILE
ported CMU CL fix to FILL-POINTER-OUCH (Tim Moore's fix
to Janne Rinta-Manty's bug report)
added MNA fix for FIX-CORE-SOURCE-INFO

2001-07-30 19:30:33 View
Download
[aa2dc9] (5.5 kB) by William Harold Newman William Harold Newman

0.6.12.22:
DB logical pathname and COMPILE-FILE-PATHNAME patch from
sbcl-devel 2001-06-01
made FASL file version number independent of CPU type; also
made byte FASL file version number the same
many many changes more or less related to changing the FASL
file version number..
..created SB!FASL package to hold stuff like +FASL-FILE-VERSION+
which is common to loading and dumping
..renamed early-load.lisp to early-fasl.lisp
..renamed FASL-FILE stuff to FASL-OUTPUT
..*LAP-OUTPUT-FILE* doesn't need to be special (and so is
renamed to LAP-FASL-OUTPUT).
..exported FAST-READ stuff from SB-INT, so that it's visible
in SB-FASL
..deleted old stale load-related variables
*LOAD-BYTE-COMPILED-CODE-TO-DYNAMIC-SPACE*
*LOAD-X86-TLF-TO-DYNAMIC-SPACE*
*ENABLE-DYNAMIC-SPACE-CODE*
(hardwiring code which referred to them to use their
effectively-constant values T, NIL, T instead). (Now
we no longer need to worry about what package they're
in..)
..made some symbols external to SB-KERNEL so that
now-in-SB-FASL code could find them (and so that
some of the old :: prefixes could go away):
*FREE-INTERRUPT-CONTEXT-INDEX*,
*!INITIAL-FOO* for all FOO,
*CURRENT-CATCH-BLOCK*,
*CURRENT-UNWIND-PROTECT-BLOCK*,
*PSEUDO-ATOMIC-ATOMIC*, *PSEUDO-ATOMIC-INTERRUPTED*
..deleted unneeded "SB!IMPL::" prefixes for various
other *STATIC-SYMBOLS*-related symbols which're
exported (mostly from SB-KERNEL) already
..deleted unused %INITIAL-FUNCTION (smashing Alpha
*STATIC-SYMBOLS* indices)
suppressed some stuff in side-effectful-pathnames.test.sh
until we merge the DB cleanups from flaky2_branch

2001-06-06 21:43:50 View
Download
[b19093] (5.4 kB) by William Harold Newman William Harold Newman

0.6.12.13:
set up :SB-AFTER-XC-CORE feature so slam.sh is more convenient
The various core address mismatch states should be fatal
errors, not just fprintf()s.

2001-05-23 14:00:15 View
Download
[510849] (5.4 kB) by William Harold Newman William Harold Newman

0.6.12.7.flaky1.2:
(This version seems not to be flaky any more, and so should
be the end of the flaky1 branch: I'm just checking
it in in preparation for "cvs update -j flaky1" or some
such thing to merge the changes back into the main
branch.)
tweaked run-tests.sh machinery to use an absolute path for
SBCL, on general principles and specifically so that
Dan Barlow's new ENSURE-DIRECTORIES-EXIST tests can run
made (UNIX-NAMESTRING "") equivalent to (UNIX-NAMESTRING "."),
as the simplest way to make ENSURE-DIRECTORIES-EXIST
work for relative pathnames. (As per Dan's 2001-05-18
sbcl-devel mail, it can't be ANSI conforming until
*DEFAULT-PATHNAME-DEFAULTS* is made ANSI, and that's
too messy for now, so just do the simple thing.)
dropped search list support from UNIX-NAMESTRING while I was
at it, since search lists ain't supported no more
removed undocumented hardly-used EXECUTABLE-ONLY arg from
UNIX-NAMESTRING, moving the "is it executable?" test
into run-program.lisp
removed REMOVEME stuff

2001-05-19 00:13:14 View
Download
[c8322d] (5.5 kB) by William Harold Newman William Harold Newman

0.6.12.7.flaky1.1:
(As per Daniel Barlow sbcl-devel 2001-05-17, the removal of
the mysterious "" special case in UNIX-STAT will
probably keep this version from building itself,
so I didn't even try. It does, however, at least
do "sh run-tests.sh" successfully.)
fixed declaration in %EXTRACT-STAT-RESULTS so that the
system won't have to interpret the alien reference
at runtime on every call to the function
I found how to fix the boot/gencgc/purify problem which was
leaving initial-function unmapped -- I could copy
current_region_free_pointer into
boxed_region.free_pointer just before
gc_alloc_update_page_pages() in save.c. However,
that left me with other flaky GC problems. So I gave
up my GC hacking in this version as a bad job, and
copied original 0.6.12.7 GC-related files over
the modified versions: gencgc.c, save.c, purify.c,
gc.lisp, save.lisp
made %EXTRACT-STAT-RESULTS inline to suppress an apparent
memory corruption bug

2001-05-18 13:22:50 View
Download
[d7f613] (5.4 kB) by William Harold Newman William Harold Newman

0.6.12.7.flaky1:
(This system state is seriously screwed up. It did build,
both on Linux and on OpenBSD, but signalled an
error after writing out sbcl.core on OpenBSD, and
although it runs a little both on Linux and on
OpenBSD, it hangs in the regression tests. It
also has some temporary hacks marked REMOVEME,
including one which suppresses PURIFY when
building the system (!).)
made the system build on OpenBSD again..
..stubbed stuff out as a quick fix to the problem of FFI to
64-bit stat.st_size
tried to make the system run on OpenBSD again..
..initialized current_dynamic_space, since it's now used
instead of DYNAMIC_SPACE_START in PURIFY
..added new assertions about GENCGC alloc_region stuff being
reset when it should be
renamed Lisp-level struct stat stuff to struct wrapped_stat
tried to tidy up Lisp-level stat stuff; removed mysterious
(STRING= NAME "") behavior from UNIX-STAT
added slam.sh to help in low-level compile-and-try cycle
pulled alloc_region-is-reset logic out into separate
functions, and added more assertions on it (hunting
for a bug which broke the old assertions)
renamed gc_alloc_large to gc_alloc_possibly_large, and
gc_quick_alloc_large_unboxed to
gc_quick_alloc_unboxed_possibly_large
enabled various GC checks, e.g. gencgc_zero_check=1
deleted unused (and bizarre..) gencgc_verify_zero_fill()
turned off PURIFY in order to get the system to build, since
PURIFY seems to be misbehaving (leaving INIT-FUNCTION
above the cutoff address..)

2001-05-15 14:08:31 View
Download
[4cf50b] (7.0 kB) by William Harold Newman William Harold Newman

0.6.12.4:
made grovel-headers.c run automatically as part of the build
process (so that the automatically-generated file
output/stuff-groveled-from-headers.lisp replaced the
old symlink src/code/target-os-types.lisp)
redid grovel_headers.c DEFCONSTANT macro as function
removed 'ln -sf $sbcl_arch-linux-types.lisp' stuff (from
src/runtime/make-config.sh??)
redid the definition of a stem in stems-and-flags.lisp,
as a relative path from SBCL base directory instead
of from the src/ subdirectory, so that it can now
refer to "output/stuff-groveled-from-headers.lisp

2001-05-08 00:13:54 View
Download
[334af3] (7.0 kB) 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 View
Download
[d147d5] (7.6 kB) 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 View
Download
[ce02ab] (7.5 kB) by William Harold Newman William Harold Newman

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

2001-03-12 13:47:43 View
Download
[993d5b] (7.3 kB) by William Harold Newman William Harold Newman

(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.

2001-02-27 18:03:28 View
Download
[95a6db] (6.8 kB) by William Harold Newman William Harold Newman

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

2000-11-05 21:17:21 View
Download
[a530bb] (6.6 kB) by William Harold Newman William Harold Newman

Initial revision

2000-09-18 01:26:16 View
Download