sbcl Log


Commit Date  
[7217c0] by Nikodemus Siivola Nikodemus Siivola

1.0.30.33: failed aver in %ALLOCATE-CLOSURES IR2 conversion

Patch by Larry D'Anna. He explains:

This snippit
(labels ((K (&optional x) #'k)))
fails with failed AVER: (XEP-P XEP), in %ALLOCATE-CLOSURES-IR2-CONVERT-OPTIMIZER

The problem is that it's trying to allocate a closure for the XEP
for K, but K has been deleted because nothing references K except
itself. %ALLOCATE-CLOSURES-IR2-CONVERT-OPTIMIZER already skips any
leafs that lacks a XEP. This patch makes it also skip leafs who's
XEPs have been deleted.

2009-08-04 10:15:11 Tree
[ba1d15] by Christophe Rhodes Christophe Rhodes

1.0.31.32: Update to Unicode 5.0.1
There's more to be done, including fixing magic numbers and
documenting formats in internals, but this does the job for now, and
does wonders for my "lines changed" stats.

2009-08-03 16:13:23 Tree
[711389] by Kevin Rosenberg Kevin Rosenberg

1.0.30.31:
src/runtime/interrupt.c: Fix spelling error in error message

2009-08-02 12:47:21 Tree
[ef3675] by Nikodemus Siivola Nikodemus Siivola

1.0.30.30: make SB-CLTL2:VARIABLE-INFORMATION alien-aware.

* Patch by Larry D'Anna.

2009-08-01 09:13:35 Tree
[5d4cad] by Nikodemus Siivola Nikodemus Siivola

1.0.30.29: SB-CLTL2:DEFINE-DECLARATION

* Patch by Larry D'Anna.

2009-08-01 09:05:01 Tree
[002f47] by Nikodemus Siivola Nikodemus Siivola

1.0.30.28: SB-CLTL2:AUGMENT-ENVIRONMENT

* Patch by Larry D'Anna.

2009-08-01 08:30:08 Tree
[b217b7] by Nikodemus Siivola Nikodemus Siivola

1.0.30.27: pretty-printing improvements

* Improved pretty-printing of simple LOOP forms, IF, and
MULTIPLE-VALUE-CALL. Patches by Tobias Rittweiler.

* Improved pretty-printing of general macro calls by inspecting
location of &BODY in the lambda-list. Patch by Tobias Rittweiler.

* Make tests in walker.impure.lisp ignore newlines as well.

2009-08-01 07:57:36 Tree
[a76ae2] by Nikodemus Siivola Nikodemus Siivola

1.0.30.26: fix failing AVER in CONVERT-MV-CALL

See https://bugs.launchpad.net/sbcl/+bug/392203

Patch by Larry D'Anna.

His comments:

Ever since Spice Lisp, convert-mv-call had returned without doing
anything if (functional-entry-fun fun) is not null, ie if fun
possesses a XEP. 0.8.5.5 replaces this criterion with "if the last
optional entry has references", and signals an error if the last
optional entry has no references and the XEP exists.

I can't know exactly what Alexy was thinking when he put the aver
in, but I can guess: If the XEP exists it should contain a
reference to the last entry point, so if the last entry point has
no refs and a XEP exists something went wrong. However, if the
number of required + optional arguments is 0, then XEP doesn't need
the "last" entry point, it can always use the "more" entry point
instead, which is exactly what seems to have happened in this case.

This patch combines the two conditions. convert-mv-call will return
without action if *either* a XEP exists, *or* the last optional
entry has references."

2009-07-31 13:00:17 Tree
[2e33f2] by Nikodemus Siivola Nikodemus Siivola

1.0.30.25: deftransform for ARRAY-IN-BOUNDS-P

* Patch by Leslie Polzer.

* Also give notes when giving up in ARRAY-TYPE-DIMENSIONS-OR-GIVE-UP.

2009-07-31 12:14:00 Tree
[10a42e] by Nikodemus Siivola Nikodemus Siivola

1.0.30.24: hopefully fix _long_ SLEEP issues on OpenBSD

* OpenBSD refuses to nanosleep() over 100 million seconds (returning
EINVAL), so loop with 100 million second sleeps till the time left
is smaller than that.

...who knows, maybe there is a good reason to sleep over 3 years?

Bug reported by Johsh Elsasser.

2009-07-31 09:42:20 Tree
[72ec08] by Nikodemus Siivola Nikodemus Siivola

1.0.30.23: adjust OpenBSD address spaces on x86

* Patch by Josh Elsasser. He says:

"The current address space locations for x86 OpenBSD are adequate,
but could still be better chosen. The only real problem with the
current addresses is that the default dynamic space size is larger
than the default data size resource limit, which means that sbcl
will not run without some tweaking. Attached is a patch to lower
the dynamic space size, as well as move all spaces to locations
which I suspect may prove more future-proof against OpenBSD
changes. The patch also greatly expands the OpenBSD comment. I
apologize for the verbosity, but the address space layout on
OpenBSD/i386 is quite complex and I wanted to record the details
before I forgot (again)."

Committing untested, as I don't have an OpenBSD system available.

2009-07-31 09:19:19 Tree
[8b244d] by Nikodemus Siivola Nikodemus Siivola

1.0.30.22: better DELETE-FILE on streams

* Don't close the stream on Unix, so users can enjoy the normal
Unixy-IO to unlinked files.

* On Windows, close the stream with :ABORT NIL, so that there
is no danger of close trying to delete file as well.

Bug with DELETE-FILE trying to delete files twice reported by
John Fremlin.

2009-07-31 09:11:15 Tree
[c1ce1b] by Nikodemus Siivola Nikodemus Siivola

1.0.30.21: prettier STYLE-WARNINGS for incompatible type proclamations

* Print the specifier, not the type object.

2009-07-30 14:10:39 Tree
[073f54] by Nikodemus Siivola Nikodemus Siivola

1.0.30.20: less DEFGENERIC clobbers FTYPE STYLE-WARNINGS

* Remove the declamation from DESCRIBE-OBJECT.

* Make SBCL warn only if the new type is more general than the old
type.

* In NOTE-GF-SIGNATURE, use the existing GF lambda-list if the user
didn't provide one to ENSURE-GENERIC-FUNCTION. This allows us to
deduce sufficiently good types for condition slot readers from the
lambda-list to elide the warning.

2009-07-30 13:36:43 Tree
[aa2dc0] by Nikodemus Siivola Nikodemus Siivola

1.0.30.19: optimize (COERCE X 'VECTOR) as well

2009-07-30 11:37:12 Tree
[4bb09d] by Nikodemus Siivola Nikodemus Siivola

1.0.30.18: undefined variables in contribs

* No MSG_NOSIGNAL on Darwin. It was also groveled twice on Linux.

* Tyop in SB-SIMPLE-STREAMS.

...the real question is why ASDF didn't consider these failures,
though. Grumble.

2009-07-30 11:02:21 Tree
[ba649f] by Nikodemus Siivola Nikodemus Siivola

1.0.30.17: generalize the previous COERCE optimization a bit

* As noted by Christophe Rhodes, this is simple enough to apply to
non-simple one-dimensional recognizable subtypes of ARRAY. ...and
(COERCE X 'STRING) is so tempting to write that it is worth
optimizing too.

Need to take some care with things like

(COERCE X '(BIT-VECTOR (NOT SIMPLE-BIT-VECTOR)))

though.

Add compiler notes as well.

2009-07-30 09:51:57 Tree
[9d58d3] by Nikodemus Siivola Nikodemus Siivola

1.0.30.16: faster COERCE for various (SIMPLE-ARRAY * (*)) subtypes

* Optimize for all regonizable subtypes.

* Also optimize for SIMPLE-STRING.

2009-07-29 19:14:46 Tree
[d055eb] by Nikodemus Siivola Nikodemus Siivola

1.0.30.15: more complete SB-CLTL2:DECLARATION-INFORMATION

* (DECLARATION-INFORMATION 'DECLARATION) returns a list of
declaration names that have been proclaimed as valid.

Patch by Larry D'Anna.

2009-07-29 16:15:42 Tree
[9af8ab] by Nikodemus Siivola Nikodemus Siivola

1.0.30.14: some SB-CLTL2 docstrings

* Add docstrings for DECLARATION-INFORMATION, PARSE-MACRO and ENCLOSE.

* Rename a test for variable-information that had the same name as another.

Patch by Larry D'Anna, prose and indentation somewhat altered
by yours truly.

2009-07-29 16:01:29 Tree
[71035f] by Nikodemus Siivola Nikodemus Siivola

1.0.30.13: SB-EXT:CONSTANT-FUNCTION does not exits

* Remove reference to it from the manual.

2009-07-29 15:36:58 Tree
[ee18ab] by Nikodemus Siivola Nikodemus Siivola

1.0.30.12: make SB-GROVEL ASDF:OOS :FORCE T friendly

* Use INTERN instead of GENTEMP to generate padding names.

Patch by Leslie Polzer.

2009-07-29 15:34:15 Tree
[09d3e0] by Nikodemus Siivola Nikodemus Siivola

1.0.30.11: autogenerate tagname information for LDB in genesis

* Also remove some 32-bit assumption from LDB, and
add missing array types there.

Patch by Luis Oliveira.

* Also fix the DESCRIBE buglet credit in NEWS.

2009-07-29 15:15:31 Tree
[e36adf] by Nikodemus Siivola Nikodemus Siivola

1.0.30.10: DESCRIBE reports on undefined but assumed/declared functions

* If FTYPE has been declared, report it even if the function is
not defined.

* If calls to the function have been compiled, report it with
an "assumed type" -- for now that is always FUNCTION, though.

2009-07-29 14:51:23 Tree
[091c10] by Nikodemus Siivola Nikodemus Siivola

1.0.30.9: improved generic-function FTYPE handling

* Use :DEFINED-METHOD as :WHERE-FROM even if there is no explicit
DEFGENERIC -- initial type becomes FUNCTION.

* Also signal a style-warning when the FTYPE is clobbered by a
generic function -- though in this case it is more "bad SBCL style"
than bad user style... but at least the user will know that
something unexpected is going on. (Clobbering itself is not new.)

2009-07-29 14:48:51 Tree
Older >