0.8.0.59:
authorChristophe Rhodes <csr21@cam.ac.uk>
Tue, 10 Jun 2003 11:08:09 +0000 (11:08 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Tue, 10 Jun 2003 11:08:09 +0000 (11:08 +0000)
commite511ed14d4a20cb9de2523f052b0f23a1dde1115
tree41a35a239eabfe7c7ad5cc220cfcfa3a44df4514
parent6f20436c86e66946ae1d2d3f4aef409c9845536b
0.8.0.59:
Make VALUES derive type optimizer accurate:
... since we have this nice interpretation of VALUES types, use
it in the VALUES derive-type optimizer -- we will return
exactly as many values as VALUES has arguments;
... fix the bugs that this reveals in sbcl; :-)
... enables us to detect more bogosity: test for some more type
mismatches being caught.
... (relatedly) fix one more duplicate definition in
sb-bsd-sockets
Array initializer type warning fix:
... don't do (csubtypep (ctype-of x) eltype), because that's wrong
for e.g. X = #\a and eltype being STANDARD-CHAR; use
CTYPEP instead.
NEWS
contrib/sb-bsd-sockets/constants.lisp
src/compiler/array-tran.lisp
src/compiler/generic/vm-fndb.lisp
src/compiler/generic/vm-tran.lisp
src/compiler/info-functions.lisp
src/compiler/srctran.lisp
tests/compiler.test.sh
version.lisp-expr