sbcl Log


Commit Date  
[0f2750] (638 Bytes) by Nikodemus Siivola Nikodemus Siivola

1.0.28.75: documentation work related to move to Launchpad

* Delete SUPPORT and minimize BUGS.

The information that used to be there is now the first chapter of
the manual: "Getting Support and Reporting Bugs", Maybe it belongs
elsewhere, but IMO it should be as prominent as we can make it - so
the first chapter for now.

Refer to Lauchpad and sbcl-bugs in "Reporting Bugs".

Remove Dan B. from support providers for now, given that
metacircles.com is currently domain-parked.

2009-06-03 09:09:52 View
Download
[4af56c] (69.8 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.28.2: fix bug 201, Incautious type inference from compound types

* Define LVAR-CONSERVATIVE-TYPE &co, which take into accound that a
function call can change the type of a cons or a non-simple array
without changing it's identity. Use this instead of LVAR-TYPE in
derive-type optimizers for CAR and CDR, and in the ARRAY-DIMENSIONS
transform. (There may be other places where it should be used as
well, but I could not find anything else just now.)

2009-05-01 10:35:43 View
Download
[4bf2de] (70.6 kB) by Gabor Melis Gabor Melis

1.0.26.8: QSHOW changes, bug reporting guidelines

- change runtime.h so that a simple '#define QSHOW_SIGNAL 1' turns
QSHOW automatically and defaults to blocking signals during printing

- add notes to BUGS on how to report bugs related to signal handling

- kill a warning in thread.c in code conditional on QSHOW_SIGNAL

- add #include <stdio.h> to x86{-64,}-darwin-os.c so that it compiles
with QSHOW

- add comment explaining the previous commit

2009-03-17 14:05:45 View
Download
[7c4068] (69.5 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.24.42: fix bug 235a

AKA https://bugs.launchpad.net/sbcl/+bug/309141

* Replace DEFINED-FUN-FUNCTIONAL with DEFINED-FUN-FUNCTIONALS, and reuse
the functional only if policy matches.

2009-01-14 18:37:20 View
Download
[f5522c] (70.1 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.23.64: fixed bug 395

* Add support for base-strings in fill-pointer output streams.

* Also fix a bug revealed by this change in derivation of
ARRAY-ELEMENT-TYPE return type.

2008-12-22 13:38:04 View
Download
[29003b] (70.6 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.23.62: fix bug 357

Originally reported by Bruno Haible, more recently by Stephen Wilson.

* SHARED-INITIALIZE (SLOT-OBJECT) should not check structure slots
versus +SLOT-UNBOUND+: uninitialized slots are zeroed. Since adding
slots to structure classes cannot cause those slots to be added to
structure instances, we don't really have to check for boundness at
all.

* SB-PCL::STRUCTURE-TYPE-SLOT-DESCRIPTION-LIST and
SB-PCL::MAKE-STRUCTURE-CLASS-DEFSTRUCT-FORM did not take overridden
slot specifications into account, and the latter also omitted
initform and type information.

* Delete SB-PCL::ALLOCATE-STRUCTURE-INSTANCE, unused.

* ALLOCATE-INSTANCE (STRUCTURE-OBJECT) should not fall back on
ALLOCATE-STANDARD-INSTANCE.

2008-12-22 10:50:35 View
Download
[5919ec] (72.2 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.23.60: fix bug 354: XEPs in backtraces, properly this time

* Don't terminate the block in MAYBE-TERMINATE-BLOCK even if the node
is a call to a function that never returns if it is also the tail
end of a XEP -- this allows TCO to deal with the XEP.

* More stale bugs:
** 143 -- cannot replicate, interrupt handling has been robustified
and partially redesigned since than, so confidence that this is
really gone is reasonably high.
** 238 -- has gotten fixed at some point.

2008-12-21 09:51:01 View
Download
[a32cea] (75.1 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.23.59: bug 3b has been fixed a while now

* Test case added.

2008-12-19 19:00:01 View
Download
[7522f7] (75.3 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.23.58: bug 405 has been fixed a while now

* Fixed as of 1.0.19.32.

2008-12-19 18:03:09 View
Download
[46ca19] (75.6 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.23.57: rewrite bug 217

* Case A is a non-issue. SBCL interprets "unpredictable but harmless"
to mean "anything, but heap will no be corrupted, data lost, etc"
-- that is, an error may or may not be signalled, but it the lisp
session will remain sane and operable.

* Case B is negated by the portability argument: since specifying both
is unspecified, we should not build useful-seeming extensions on top
of it, as it will only create portability problems for users.

* Case C remains partially valid, except for the runtime WARNINGs.
Integrated into the new text.

2008-12-19 16:14:58 View
Download
[bc2977] (76.3 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.23.56: special variables cause special cases in CLOS cleverness

* As we cannot reliably ensure nothing calls SET or (SETF
SYMBOL-VALUE) on the special variable, we need to disable
optimizations perutation vector optimizations for them.

* For the same reason we cannot implicitly declare types for even
local specials in DEFMETHODs.

* Delete bug 276: the issue it refers to was fixed back when we
stopped inserting declarations for special variables.

2008-12-19 15:20:43 View
Download
[53f576] (76.5 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.23.55: three stale bugs

* 332, 369, 380: added test-cases which pass.

2008-12-19 13:46:34 View
Download
[e31135] (79.4 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.23.38: fix bug 430 (stack alloc by nested defstruct constructors)

* Mark lambdas introduced by the compiler as such, so that
LAMBDA-SYSTEM-LAMBDA-P returns true for them.

* Allow USE-GOOD-FOR-DX-P to inspect COMBINATIONs with CLAMBDA
functionals: if the return value of the function always originates
from a known DX-capable combination, and the arguments of the
original combination are used only by the DX-capable combination,
consider the original combination good for DX.

* Allow USE-GOOD-FOR-DX-P to inspect REFs to LAMBDA-VARs: if the var
is bound by a system lambda, has no other refs, is never set, gets
its value from a single-value combination, and the LVAR it gets its
value from is good for DX ... then the REF is good for DX as well.

* HANDLE-NESTED-DYNAMIC-EXTENT-LVARS handles REFs as well by
recursing on the lvar the REF gets its value from.

2008-12-12 13:05:23 View
Download
[4b585c] (79.9 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.22.15: 16 byte align assembly routines on x86 and x86-64

* Modern processors like it that way, and x86-64 was mostly there
already.

* Also fix a stupid typo in bug 419.

2008-11-04 18:56:27 View
Download
[ed7206] (79.9 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.22.13: fixed bug 426: nested inline expansion failure

* In RECOGNIZE-KNOWN-CALL, if an inline function has already been
converted in the component, replace the REF-LEAF with the
functional.

* Test cases.

2008-11-03 18:09:38 View
Download
[273757] (81.0 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.21.29: handle alien record type redefinitions (bug 431)

* Make PARSE-ALIEN-RECORD-FIELD return the parsed values instead of
frobbing the type object.

* In PARSE-ALIEN-RECORD-TYPE use that to parse the new fields so that
we can compare them to the old ones -- signal a continuable error
if there is a mismatch.

2008-10-18 14:11:19 View
Download
[d68756] (81.6 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.21.11: record bug 431

* Random pick from my sbcl-devel backlog.

2008-10-07 11:46:47 View
Download
[37200d] (80.9 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.21.10: DEFINE-COMPILER-MACRO and destructuring lambda-lists

* Were broken -- fix by using the special FUNCALL related magic is
only for the outermost list, not sublists. Reported by Willem
Broekema.

* Adjust one of the existing tests to check for this.

* Record bug 430: nested stack allocation does not work for structures.

2008-10-07 08:28:36 View
Download
[013da4] (80.4 kB) by Gabor Melis Gabor Melis

1.0.20.27: fixed bug 415

* (MAKE-ARRAY (1- ARRAY-DIMENSION-LIMIT)) does not cause GC invariant loss.

ARRAY-DIMENSION-LIMIT was lowered by two to leave space for the
array header.

* logged FORMAT bug

2008-09-23 21:52:57 View
Download
[85a4dd] (80.4 kB) by Gabor Melis Gabor Melis

1.0.20.22: record bug 429

2008-09-22 19:10:01 View
Download
[5d5894] (79.9 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.19.22: fix bug #425

* Make CLOSE drop input buffers from ANSI-STREAMs. Reported by Damien
Cassou on sbcl-devel.

* Signal SB-INT:CLOSED-STREAM-ERROR instead of a SIMPLE-ERROR -- good
for clarity, enables a proper test.

2008-08-05 10:38:36 View
Download
[682203] (80.5 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.19.7: refactor stack allocation decisions

* Remove SB-C::STACK-ALLOCATE-* policies.

* Obey DYNAMIC-EXTENT declarations if SB-EXT:*STACK-ALLOCATE-DYNAMIC-EXTENT*
is true (the default), with the following exceptions:

** Value cells are not stack allocated.

** Vectors that may be longer then a single page are stack
allocated only in SAFETY 0 policies.

* New declaration: SB-INT:TRULY-DYNAMIC-EXTENT. Always stack-allocates,
regardless of SB-EXT:*STACK-ALLOCATE-DYNAMIC-EXTENT*. Also causes stack
allocation of value cells and potentially large vectors.

Used exclusively inside SBCL.

* Move STACK-ALLOCATE-RESULT optimizers from backends to
src/compiler/generic/vm-ir2tran.lisp.

* Documentation.

2008-07-30 17:58:39 View
Download
[367316] (80.6 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.19.1: DERIVE-TYPE optimizer for %%PRIMITIVE

* Fixes #427: vintage TRULY-THE annotated the CALL early enough that
the IR2 conversion of the %PRIMITIVE got the right primitive types.
Now that TRULY-THE is a regular cast, an optimizer is needed to
annotate the call.

* Refactor FIND-TEMPLATE-RESULTS a bit.

* Get rid of now-pointless TRULY-THE wrappers around several
%PRIMITIVE calls.

* Test-case.

2008-07-30 13:44:55 View
Download
[13c5e5] (80.9 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.18.30: disable failing test in timer.impure.lisp

* Has been failing intermittently on various platforms, apparently as
long as it has been there. Log as bug #428.

2008-07-30 11:38:51 View
Download
[672b2f] (80.7 kB) by Nikodemus Siivola Nikodemus Siivola

1.0.18.2: more conservative interval artihmetic

* In SAFELY-BINOP, when the other argument must be coerced to single
float, punt if it is an integer that cannot be exactly represented
as a single float.

* Fixes bug 420, and a whole slew of MISC failures in ansi-tests --
including the ones that used to cause a hard crash or a hang: cvs
up -dPC your ansi-test trees, and should huzzah!

2008-06-30 09:00:37 View
Download
Older >