Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

sbcl Log


Commit Date  
[704eaa] by Nikodemus Siivola Nikodemus Siivola

1.0.43.79: run-sbcl.sh: print run location to stderr instead of stdout

Allows using run-sbcl.sh for jobs requiring a clean stdout.

2010-10-20 14:32:14 Tree
[a7e900] by Nikodemus Siivola Nikodemus Siivola

1.0.43.78: fix whitespace damage in pathnames.impure.lisp

Sorry about that.

2010-10-20 07:18:47 Tree
[d8e0a6] by Nikodemus Siivola Nikodemus Siivola

1.0.43.77: missing FINALIZE :DONT-SAVE T arguments in contribs

Affects SB-BSD-SOCKETS and SB-SIMPLE-STREAMS.

Fix a typo in NEWS.

2010-10-19 17:15:48 Tree
[db12bb] by Nikodemus Siivola Nikodemus Siivola

1.0.43.76: sb-posix: prohibit forking with multiple threads running everywhere

Turns out we were only checking this on Darwin.

2010-10-19 17:00:51 Tree
[a647f3] by Nikodemus Siivola Nikodemus Siivola

1.0.43.75: pathnames: both Unix and Win32 use UNPARSE-PHYSICAL-DIRECTORY

Refactor duplicated code and start using / instead of \ to separate
directories in Lisp namestrings -- less escaping, easier to think
about and read.

2010-10-19 14:30:03 Tree
[92b271] by Nikodemus Siivola Nikodemus Siivola

1.0.43.74: WITH-TESTify pathnames.impure.lisp

Better failure tracking for Windows, where the whole file used to
report as a failure.

2010-10-19 14:01:51 Tree
[140983] by Nikodemus Siivola Nikodemus Siivola

1.0.43.73: oops, let's not derive &REST as list quite so hard...

Use PROPAGATE-FROM-SETS so assignments to the variable
are taken into account too.

2010-10-19 13:54:08 Tree
[c3bf5a] by Nikodemus Siivola Nikodemus Siivola

1.0.43.72: fix regression from 1.0.43.64

As usual, the original patch was fine, and it was my edits that
wrecked havoc...

Move DTYPE initialization to its proper place: LOOP-OPTIONAL-TYPE has
side-effects and so cannot be called in the place where I so blithely
moved it.

Closes bug 654220 again.

2010-10-19 10:24:01 Tree
[d76dbf] by Nikodemus Siivola Nikodemus Siivola

1.0.43.71: fix regression from 1.0.43.26

PROPAGATE-LOCAL-CALL-ARGS needs to special-case optional dispatch
entry-points after all: our usual approach can load to too narrow
types being derived for &OPTIONAL arguments.

So just deal with &REST args in those cases.

Closes bug 655203 again.

2010-10-19 10:22:40 Tree
[0c4077] by Nikodemus Siivola Nikodemus Siivola

1.0.43.70: win32: disable a bunch of timer tests

No SIGALRM on Windows, so running these is pretty pointless.

2010-10-18 16:19:15 Tree
[a616d8] by Nikodemus Siivola Nikodemus Siivola

1.0.43.69: win32: fix build, broken by 1.0.43.62

Need _rmdir in the runtime now.

2010-10-18 16:18:32 Tree
[445714] by Nikodemus Siivola Nikodemus Siivola

1.0.43.68: disassembler: remove unsafe SAP from MAKE-DSTATE

(This was supposed to go in as 1.0.43.66, but somehow the actual
content didn't make it...)

The old code was about as sane and safe as initializing
it with (INT-SAP (RANDOM-ADDRESS)).

Allow DSTATE-SEGMENT-SAP to be NIL till it is properly
initialized.

2010-10-18 14:54:33 Tree
[761913] by Nikodemus Siivola Nikodemus Siivola

1.0.43.67: COERCE: don't trust vector dimensions in unsafe code

Fixes bug 655872.

Our deftransform for COERCE takes advantage of ANSI's allowance
to generate faster code, and open codes

(COERCE X '(SIMPLE-VECTOR 5))

in a way that doesn't verify the length of the simple-vector.

1. Previously we did that for SAFETY < 3, but that doesn't really
fit with our general policy, so enable it only for SAFETY = 0.

2. Make the corresponding DERIVE-TYPE optimizer aware of this, so
that it can drop the dimensions from the type when necessary.

2010-10-18 11:42:47 Tree
[a80fa0] by Nikodemus Siivola Nikodemus Siivola

1.0.43.66: disassembler: remove unsafe SAP from MAKE-DSTATE

The old code was about as sane and safe as initializing
it with (INT-SAP (RANDOM-ADDRESS)).

Allow DSTATE-SEGMENT-SAP to be NIL till it is properly
initialized.

2010-10-18 11:38:56 Tree
[218e43] by Nikodemus Siivola Nikodemus Siivola

1.0.43.65: pcl: :DEFINITION-SOURCE / :SOURCE-LOCATION confusion

Caused source-locations for defgenerics not to be recorded properly.

Fixes the only issue remaining open from bug 384801.

2010-10-17 16:27:53 Tree
[56ea5e] by Nikodemus Siivola Nikodemus Siivola

1.0.43.64: loop: remove LOOP-UNIVERSE-ANSI and LOOP-UNIVERSE-IMPLICIT-FOR-REQUIRED

In SBCL both were always T -- delete and simplify code accordingly.

Also delete stale comment referring to LOOP-PREFER-POP feature and
STEP-FUNCTION, which are both long gone.

Patch from Roman Marynchak with minor edits. No changes in
functionality.

2010-10-17 16:00:59 Tree
[ce2a58] by Nikodemus Siivola Nikodemus Siivola

1.0.43.63: storing function documentation under names as well

Since 1.0.29.24 we have stored function documentation exclusively in
the function objects. Turns out this isn't a pure win:

(setf (symbol-function 'foo) #'car)

(setf (documentation 'foo 'function) "Return the name of frobniz.")

should not change the docstring of #'CAR.

So, when setting the docstring of a function name, store it in
RANDOM-DOCUMENTATION instead of in the simple-fun.

Conversely, when looking up the docstring for a function name, first
look in RANDOM-DOCUMENTATION and only then in the bound function.

2010-10-16 10:06:18 Tree
[ec0e9d] by Nikodemus Siivola Nikodemus Siivola

1.0.43.62: implement SB-EXT:DELETE-DIRECTORY

Extend MAP-DIRECTORY with :CLASSIFY-SYMLINKS so implementing "delete
symlinks but don't follow them" behaviour for :RECURSIVE T is nice
and easy.

2010-10-15 10:16:48 Tree
[7e4eb6] by Nikodemus Siivola Nikodemus Siivola

1.0.43.61: teach docstrings.lisp about parentheses

Kludge to get things like (SIMPLE-ARRAY T (3)) right in docstrings.

Also document SB-EXT:GET-TIME-OF-DAY and SB-EXT:SEED-RANDOM-STATE.

2010-10-15 09:52:58 Tree
[e5b4fe] by Nikodemus Siivola Nikodemus Siivola

1.0.43.60: plug (SETF MACRO-FUNCTION) shaped hole in package-locks

The code used to clobber the macro definition before the package-lock
was asserted.

Also adjust package-lock in DEFMACRO to be asserted before any
globaldb infos are clobbered.

Fixes bug 660752.

2010-10-14 19:43:23 Tree
[cc2444] by Nikodemus Siivola Nikodemus Siivola

1.0.43.59: fix DEFSETF to reject non-symbols as functions names

The short form of DEFSETF requires the second argument to be a
symbol. Added the appropriate check and a test case.

See also the section 5.3 in CLHS.

Patch by Roman Marynchak.

2010-10-14 19:36:59 Tree
[7bc052] by Nikodemus Siivola Nikodemus Siivola

1.0.43.58: ignore ASDF source registries when building contribs

Fixes bug 659105.

2010-10-14 16:43:32 Tree
[12836c] by Nikodemus Siivola Nikodemus Siivola

1.0.43.57: better handling of derived function types

Fixes bug 657499, and improves the earlier fix of 655126.

* Sort out TYPE vs. DEFINED-TYPE in FIND-GLOBAL-FUN:

** TYPE is the declarared type, OR the derived type iff
*derive-function-types* is true, no ftype has been declared,
we're not explicitly late-binding, and the function is not
NOTINLINE.

** DEFINED-TYPE is the derived type, or FUNCTION if the function has
been declared NOTINLINE or we're late-binding.

Previously TYPE (which is what the rest of the system trusts
implcitly) was the derived type for functions in the same file
not declared NOTINLINE.

* ASSERT-CALL-TYPE can now be used in "untrusted" cases as well:
argument types are asserted as before, but instead of using
DERIVE-NODE-TYPE to annotate the function LVAR with its type, we
instead assert the return-type when appropriate.

* VALIDATE-CALL-TYPE is now called with DEFINED-TYPE from
IR1-OPTIMIZE-COMBINATION, not
IR1-CONVERT-COMBINATION-CHECKING-TYPE: the DEFINED-TYPE may be used
there in an untrusted call to ASSERT-CALL-TYPE.

Also keep track of the leaves whose DEFINED-TYPE we have asserted,
so that we won't do duplicate work. New slot in COMBINATION:
TYPE-VALIDATED-FOR-LEAF is utilized for this.

* LEAF-WHERE-FROM can now also be :DEFINED-HERE, meaning the
definition originates in the file being compiled -- this
information is used by VALIDATE-CALL-TYPE, and filled in by
FIND-FREE-FUN and FIND-GLOBAL-FUN.

* Adjust the tests for 655126 to account for full warnings
in case *derive-function-types* and self-calls.

2010-10-14 16:32:51 Tree
[179985] by Nikodemus Siivola Nikodemus Siivola

1.0.43.56: make %INSTANCE-TYPEP always-translatable

One way to make an SBCL that builds but cannot build itself is
to change the compiler so that it fails to eliminate a full call
to %INSTANCE-TYPEP.

This doesn't change that, but at least makes such hosts fail in a
place where the issue is easier to figure out than hitting "undefined
function: %INSTANCE-TYPEP" during cold-init.

2010-10-14 11:40:39 Tree
[eca61f] by Nikodemus Siivola Nikodemus Siivola

1.0.43.55: move FILE-COMPILE to compiler-test-utils.lisp

Neater this way, and we should probably be using it in a few
other places too.

2010-10-14 11:16:45 Tree
Older >