sbcl Log


Commit Date  
[22b819] (8.9 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
[1419c1] (8.4 kB) by Daniel Barlow Daniel Barlow

0.pre8.33
=== Threads merge, 12.5 metres ===

Added ppc vop for CURRENT-THREAD-OFFSET-SAP : note that other
ports (alpha, sparc, etc) wil need this too

Fix the PPC symbol hashing problem with symbol names < 4
characters long (thanks CSR)

Replace CONTROL_STACK_FOO with thread-> or SymbolValue as
appropriate in various non-x86 places (cheneygc, ldb backtrace
etc)

get_spinlock defn moved into $arch-arch.c, as unlikely to vary
much between one OS and another on a given arch. Other arches
need to add this too, but for non-threaded ports the dummy
version in ppc-arch.c will do fine.

Stub arch_os_get_current_thread, arch_os_thread_{init,cleanup}
added for Linux/PPC: needs adding to other ports

Add missing UNIX-SETSID definition, used in MAKE-LISTENER-THREAD

2003-04-03 18:26:59 View
Download
[50f728] (8.2 kB) by Christophe Rhodes Christophe Rhodes

0.pre8.16:
Fix nasty bug introduced in 0.pre8.1 or so, wherein #S no longer
worked. (mea maxima culpa)
... export STRUCTURE-CLASSOID
... write a test for it, so it doesn't happen again
Now we can build from ourselves again, probably :-/

2003-03-29 18:51:51 View
Download
[148e38] (7.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
[0957d5] (7.7 kB) by Christophe Rhodes Christophe Rhodes

0.7.10.17:
Adjust test file running environment so that *.pure.lisp tests
are run with assertoid loaded.
... give assertoid its own package
... use it in run-tests.sh for *.pure.lisp
... also use it where applicable in *.impure.lisp

2002-12-12 11:47:36 View
Download
[f6f77e] (7.8 kB) by Christophe Rhodes Christophe Rhodes

0.7.10.16:
Fix one "outstanding embarrassment" (as per CSR sbcl-devel
2002-12-10): no more building of compiler files in
warm load.
... play symlink games instead, to build the troublesome
assembly files twice under different names (will need
adjustments to work on non-Unix filesystems (e.g.
NTFS) but no more than the rest of the build).

2002-12-11 11:10:27 View
Download
[09d797] (8.0 kB) by Christophe Rhodes Christophe Rhodes

0.7.10.10:
Working INLINE inside MACROLET for user code.
(more or less as per CSR sbcl-devel 2002-12-03)
... change tricky cross-compiled inline functions to source
transforms (including adding some functions to the
function database)
... use now-working FUNCTION-LAMBDA-EXPRESSION to get the
expander function for local macros
... build a complex LAMBDA-WITH-LEXENV for inlining user code
(like CMUCL's INLINE-SYNTACTIC-CLOSURE-LAMBDA does)
Some miscellaneous frobs
... actually signal a style warning for array code (though it
might actually be in currently-dead-but-should-be-alive
code)
... actually test the return value in the second half of
filesys.test.sh
... minor text adjustments (no more calling this period "early
0.7.x")

2002-12-04 15:23:00 View
Download
[cf607a] (8.1 kB) by William Harold Newman William Harold Newman

0.7.10.6:
embarrassment reduction: transformed ugly duplicate
DEF-BOOLEAN-ATTRIBUTE into ugly OAOO (and also renamed
it to !DEF-BOOLEAN-ATTRIBUTE, since not aspiring to
make it exist on the target seemed to make it easier
to think about)
Also, as long as I'm renaming it anyway, it has no special
connection to the compiler and is used in SB!ASSEM too,
I moved !DEF-BOOLEAN-ATTRIBUTE from SB!C to SB!INT.

2002-12-02 01:33:57 View
Download
[7c5a7f] (8.2 kB) by William Harold Newman William Harold Newman

0.7.8.44:
new reports and restart names trying to clarify what those
redefine-DEFSTRUCT CERROR restarts mean (cribbing
somewhat from CMU CL CVS)
While I'm at it, fix the behavior of the ABORT restart in
%REDEFINE-DEFSTRUCT, so that it leaves the system
unaffected as one might reasonably expect. (Before,
ABORTing then retrying an incompatible definition a
second time would allow the incompatible definition to
take place the second time with no error.)
As long as I'm proof-reading restart reports, use similar
FORMAT ~< tricks in some other restarts too.

2002-10-17 19:56:02 View
Download
[316edd] (8.3 kB) by Christophe Rhodes Christophe Rhodes

0.7.8.29:
Delete some stale symbols from, and do one or two other fixups
to, package-data-list.lisp-expr
... e.g. long-float symbols conditional on #!+LONG-FLOAT
... also s/#+x86/#!+x86/
Add Eric Marsden's script to contrib/

2002-10-12 12:22:06 View
Download
[b062a0] (8.5 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
[3bbbfe] (sbcl_0_7_6) (8.6 kB) by William Harold Newman William Harold Newman

0.7.6:
release, tagged as sbcl_0_7_6

2002-07-23 14:43:14 View
Download
[d75b4e] (8.6 kB) by Christophe Rhodes Christophe Rhodes

0.7.5.1:
Alpha build fix
... define the relevant types earlier in the build
... s/INTEGER-WITH-A-BITE-OUT/UNSIGNED-BYTE-WITH-A-BITE-OUT/
Array performance enhancement
... remove the (SAFETY 3) declaration from HAIRY-DATA-VECTOR-{REF,SET}
... write tests for AREF beyond array bounds
Buglet fix in pack.lisp
... put FILL arguments the right way round

2002-06-25 15:57:13 View
Download
[1bcf4f] (8.5 kB) by William Harold Newman William Harold Newman

0.7.4.34:
minor OAOO FIXME for GENESIS...
..made the FOO-ENTRY-TYPE-CODE parameters propagate
automatically into sbcl.h instead of maintaining
separate copies of their definititions in core.h (and
renamed them, s/entry-type-code/core-entry-type-code/,
to help make them more painfully specific now that
their scope is wider)
...similarly propagated FOO-SPACE-ID automatically into
sbcl.h, and s/foo-space-id/foo-core-space-id/

2002-06-15 03:05:18 View
Download
[137199] (8.5 kB) by Christophe Rhodes Christophe Rhodes

0.7.4.33:
The missing piece in the OpenMCL build...
... move some clauses around in cross-compilation float logic.
NB: I am _not_ sure that this is correct in any sense
other than the empirical "it works". The IEEE-representation
logic for the cross-compiler needs review by someone
who knows what an IEEE float looks like. For now, though...
... now SBCL builds under OpenMCL!

2002-06-14 21:50:14 View
Download
[625946] (8.6 kB) by William Harold Newman William Harold Newman

0.7.4.24:
Fix bug 177 (bogus type warnings from CALL-NEXT-METHOD) with
a hack, wrapping the offending code in an opaque
identity function.
Add comments in INVOKE-EFFECTIVE-METHOD-FUNCTION
explaining CSR's insight that the ,@(WHEN ...)
clauses are optimizing slot access (with slots
encoded as FIXNUMs). Also remove DECLARE
NOTINLINE GET-SLOTS-OR-NIL now that I understand
what the code is doing.

2002-06-11 13:50:22 View
Download
[2481b0] (8.5 kB) by William Harold Newman William Harold Newman

0.7.1.38:
catching stack overflow, part III...
...redid *STACK-EXHAUSTION* value as SAP, because although
FIXNUM is cute and should be implementable efficiently,
it seems to be awfully annoying to work with
...made %DETECT-STACK-EXHAUSTION actually check for the
problem
...set up machinery to try to handle the problem reasonably
gracefully
...added basic regression test
moved EXPORT of '*SHEBANG-BACKEND-SUBFEATURES* alongside
EXPORT of '*SHEBANG-FEATURES* so that chill.lisp
works again

2002-03-14 15:10:44 View
Download
[b05ccd] (8.5 kB) by William Harold Newman William Harold Newman

0.7.1.33:
merged APD "bug 152" patch sbcl-devel 2002-03-06

2002-03-07 02:02:23 View
Download
[68fd2d] (8.5 kB) by William Harold Newman William Harold Newman

0.7.1.20:
merged CSR SPARC port patch (sbcl-devel 2002-02-12, plus
lotso new files through FTP)
tweaking patch...
...s/ARCH_HAS_FOO/ARCH_HAS_FOO_IN_SIGCONTEXT/
...updated sbcl.1
...added 'typedef os_context_register' for OpenBSD
...added ARCH_HAS_STACK_POINTER for x86 (and added
x86-arch.h to hold it)
...renamed fpregister and fp.register to float.register (to
avoid the ambiguity with "frame pointer" that I
experienced when first trying to figure this out,
since even though for a given architecture it's pretty
unambiguous, in architecture-neutral code it's not)
...added x86-bsd-os.h

2002-02-15 17:10:02 View
Download
[34dd23] (8.9 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
[a8f017] (9.0 kB) by William Harold Newman William Harold Newman

0.7.0.6:
APD bug 111 patch sbcl-devel 2001-12-30
APD PCL INHIBIT-WARNINGS patch ("Re: [sbcl-devel] sbcl style"
sbcl-devel 2002-01-23)
nibbling away at bug 137: making functions defined by
DEFMETHOD have debug names not e.g.
"#'(LAMBDA (SB-PCL::.PV-CELL. SB-PCL::.NEXT-METHOD-CALL. COMMON-LISP-USER::X) (DECLARE #) ...)"
but instead (:METHOD FOO (INTEGER))...
...added NAME-METHOD-LAMBDA and BODY-METHOD-NAME, and used 'em
...tweaked %METHOD-NAME declared values to look more like
modern CLOS syntax
...made NAMED-LAMBDA treat not-legal-as-source-name names as
debug names, so it barfeth not when fed method names
...tweaked BACKTRACE printing so that it won't truncate the
shiny new method names into e.g. (:METHOD FOO #)
deleted unused WALK-NAMED-LAMBDA

2002-01-23 23:13:14 View
Download
[b1abaa] (9.1 kB) by William Harold Newman William Harold Newman

0.7.0:
(Woo hoo!)
enforced OAOO for *DEFAULT-PACKAGE-USE-LIST*
lotso doc tweaking

2002-01-19 20:22:23 View
Download
[d2c3be] (9.3 kB) by William Harold Newman William Harold Newman

0.pre7.142:
(I hope this looks a lot like 0.7.0. I'll putter on and around
it for a while, xc'ing under CMU CL, building some
applications, etc. Then if there isn't too much
surprise, maybe I can finally ship it!)
late-breaking incompatible cleanup: The default USE list
for DEFPACKAGE and MAKE-PACKAGE is
implementation-defined. Let's just make it NIL, the
way God intended, instead of trying to guess. (Anyone
who actually wants something random can just
:USE (PACKAGE-USE-LIST :CL-USER) anyway.:-) So...
...Implementation-defined things are supposed to be
documented. Put this in the doc string of MAKE-PACKAGE.
...Putting it in NEWS would be good too.

2002-01-18 19:07:54 View
Download
[0c7ffa] (9.4 kB) by William Harold Newman William Harold Newman

0.pre7.141:
made DESCRIBE output of PACKAGE data more concise
s/def-frob/def/

2002-01-17 15:41:19 View
Download
[104ee7] (9.6 kB) by William Harold Newman William Harold Newman

0.pre7.139:
more s/argument/arg/...
...s/entry-argument/entry-arg/
...s/argument-list/arg-list/
...s/compile-argument/compile-arg/
...s/associate-argument/associate-arg/
...s/compute-argument/compute-arg/
...s/reference-argument/reference-arg/
...*not* s/one-argument/one-arg/, since CL defines
:IDENTITY-WITH-ONE-ARGUMENT as a kw arg for
DEFINE-METHOD-COMBINATION
...s/from-argument/from-arg/

2002-01-16 22:00:34 View
Download
Older >