sbcl Log


Commit Date  
[10d2c0] (5.0 kB) by Daniel Barlow Daniel Barlow

0.7.12.28
Added WHN's port of Kevin Rosenberg's ACL-like toplevel as
the contrib package SB-ACLREPL

Tidied up some of the contrib infrastructure in pursuance of OAOO

Renamefest: adopt standard SB- package prefixes for all contribs

Contrib packages are now built by make-target-contrib.sh
(called from make.sh) instead of being left to install.sh time

2003-02-07 17:11:38 View
Download
[913927] (4.9 kB) by Christophe Rhodes Christophe Rhodes

0.7.9.7:
Move build-id.tmp-making logic to make-config.sh, to facilitate
cross-compilation
Add a comment regarding *policy* rebinding.

2002-10-27 16:02:56 View
Download
[cd2c70] (5.1 kB) by William Harold Newman William Harold Newman

0.7.8.12:
added build id to .core files to try to discourage .core/sbcl
mismatch adventures

2002-10-02 23:22:47 View
Download
[1fd802] (4.9 kB) by William Harold Newman William Harold Newman

0.7.6.26:
comment tweaking
fixed bug 192, "constant-folding DATA-VECTOR-REF", by adding an
ordinary DEFUN definition of D-V-R

2002-08-18 13:55:26 View
Download
[f0d511] (5.1 kB) by William Harold Newman William Harold Newman

0.7.4.15:
changed --noprogrammer behavior to support people building
interactive cores noninteractively...
...renamed --noprogrammer to --disable-debugger
...defined SB-EXT:DISABLE-DEBUGGER and SB-EXT:ENABLE-DEBUGGER

2002-06-06 14:08:09 View
Download
[686043] (4.5 kB) by Christophe Rhodes Christophe Rhodes

0.7.2.6:
Merged NJF "implicit function definition cleanup" patch (from
sbcl-devel 2002-03-26)
... used Ingvar's fix for preprocessor stuff in grovel_headers.c
Also minor change to make.sh to allow use under vanilla sh

2002-04-04 16:07:50 View
Download
[5c95ea] (4.4 kB) by William Harold Newman William Harold Newman

0.7.1.44:
minor comment fixes which want to be synchronized in CVS (the
BUGS change because bugs have incrementing numbers --
which will become a nuisance with multiple committers,
dunno what the long term fix is -- and the
make.sh/cross-compile comments because DB and CSR have
been fixing this on sbcl-internals and if I don't
commit my corresponding fix soon I'll find it collides
with theirs)

2002-03-18 17:28:25 View
Download
[8286d1] (4.2 kB) by William Harold Newman William Harold Newman

0.7.1.29:
(Note that the STACK-FOO symbols introduced in this version
probably need to change, since as DB pointed out
on sbcl-devel 2002-03-04, they assume an identity
between C stack and SBCL control stack which doesn't
exist on the non-X86 ports.)
catching stack overflow, part II...
...defined *STACK-EXHAUSTION* and arranged for it to be
initialized in cold init
...added STACK-GROWS-FOOWARD to *FEATURES*, and used it to
reexpress some of the old #!+X86 conditionalization
merged APD "unbound condition slot" patch (sbcl-devel
2002-03-04), so that PARSE-DEFMACRO creates
ARG-COUNT-ERROR conditions correctly in the
(NOT (EQ ERROR-FUN 'ERROR)) case
made parse-defmacro-errors.lisp use pretty-printer
s/defmacro-lambda-list-bind-error/defmacro-ll-bind-error
added SB-DEBUG::*NESTED-DEBUG-CONDITION* to succor those of us
who like to divert ourselves by trashing print methods
bumped *DEBUG-PRINT-LEVEL* and *DEBUG-PRINT-LENGTH* so that
the new highly-structured pretty-printing :REPORT
methods for parse-defmacro-errors.lisp don't truncate
output too ludicrously

2002-03-05 03:53:04 View
Download
[5edd74] (4.2 kB) by William Harold Newman William Harold Newman

0.7.1.18:
merged DB patch "Re: Alpha 0.7 problem fixed" from sbcl-devel
2002-02-04 (preserving constraints on SYMBOL slot
layout to let NIL work magically)
added --load as special syntax for --eval '(load "...")'

2002-02-10 12:30:52 View
Download
[34dd23] (4.1 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
[863d1c] (4.1 kB) by William Harold Newman William Harold Newman

0.pre7.86.flaky7.24:
I've come to suspect that the debugger/restart/QUIT problem
has to do with the same closure/component bug I
fixed above, except for closures over NLXs instead
of over LAMBDA-VARs. So I'd like to generalize the
LAMBDA-REFERS-TO-VARS fix to deal with NLXs as well.
In preparation for that...
...merged LAMBDA-REFERS-TO-VARS and LAMBDA-CALLS into
LAMBDA-CALLS-OR-CLOSES

2001-12-06 17:15:02 View
Download
[aa61c7] (4.1 kB) by William Harold Newman William Harold Newman

0.pre7.86.flaky7.22:
removed various /SHOW-ish cruft
about that debugger/restart/QUIT problem...
...revived SB-DI:FRAME-CATCHES enough that (BREAK), F 4,
(SB-DI::FRAME-CATCHES SB-DEBUG::*CURRENT-FRAME*)
shows %END-OF-THE-WORLD
...exported SB-VM:*CURRENT-CATCH-BLOCK* to support this

2001-12-05 18:12:06 View
Download
[4eb1a6] (4.1 kB) by William Harold Newman William Harold Newman

0.pre7.74:
merged flaky6 changes back into main branch

2001-10-31 17:51:04 View
Download
[a37de7] (4.1 kB) by William Harold Newman William Harold Newman

0.pre7.71:
added new closures for out-of-line slot accessors (but didn't
actually hook them into %DEFSTRUCT yet)
added typecheckfuns.lisp to stems-and-flags
made %DEFSTRUCT FOO clear (GETHASH 'FOO *TYPECHECKFUNS*)
made typecheckfuns.lisp initialized in cold init

2001-10-17 13:43:22 View
Download
[d45e8a] (4.1 kB) by William Harold Newman William Harold Newman

0.6.12.26:
(This version has some REMOVEME stuff in it to help me
debug a PROFILE failure which seemed to be related to
nonmonotonicity of GET-INTERNAL-RUN-TIME, and which
then morphed into a SIGILL problem (all on OpenBSD).
I don't think those should cause any failures for
other systems, so I left 'em in for now.)
deleted old SPARC-only UNIX-TIMES implementation of
GET-INTERNAL-RUN-TIME
munged the code in profile.lisp hunting, so far unsuccessfully,
for "-1 is not UNSIGNED-BYTE" problem
added temporary test for monotonicity of GET-INTERNAL-RUN-TIME
moved the definition of *BEFORE-SAVE-INITIALIZATIONS*
earlier so things should work for the right reason
deleted unused INDENTING-FURTHER
separated x86 SIGILL handling from SIGTRAP handling

2001-06-07 20:27:34 View
Download
[a18f0a] (4.0 kB) 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 View
Download
[f0338f] (4.0 kB) 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 View
Download
[ce02ab] (3.7 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
[92f6ec] (3.7 kB) by William Harold Newman William Harold Newman

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

2001-02-07 20:04:34 View
Download
[8fc5fd] (3.7 kB) by William Harold Newman William Harold Newman

integrated Raymond Wiker's patches to port RUN-PROGRAM from CMU CL and
to generalize dlopen()-ish stuff from Linux to FreeBSD

2000-09-25 00:11:06 View
Download
[a530bb] (3.8 kB) by William Harold Newman William Harold Newman

Initial revision

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