0.7.10.20:
authorChristophe Rhodes <csr21@cam.ac.uk>
Mon, 16 Dec 2002 16:21:49 +0000 (16:21 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Mon, 16 Dec 2002 16:21:49 +0000 (16:21 +0000)
commitfcde5281a74cb29e21550f4f979ad6356f149ab9
treec49947381fe01f3b9db0be2440037e5d3e7e4105
parent242432ac5aa332bff0edfc519c80062cf8b61c93
0.7.10.20:
Fix bug 222 (as per APD sbcl-devel 2002-12-11)
... define the macro in the correct (restricted) lexical context.
Fix bug in COERCE [e.g. (COERCE 2 '(SINGLE-FLOAT 3.0 4.0))]
... when converting to a real type, don't be so lenient if the
original datum is a rational.
Define improved DERIVE-TYPE-OPTIMIZER for COERCE
... for constant RESULT-TYPE arguments, write a branch that
understands complex canonicalization
... leave in old branch for ARRAY-ELEMENT-TYPE return types
Write DERIVE-TYPE-OPTIMIZER for COMPILE
... (COMPILE NIL <x>) returns an object of type FUNCTION
BUGS
NEWS
src/code/coerce.lisp
src/compiler/fndb.lisp
src/compiler/srctran.lisp
src/pcl/walk.lisp
tests/arith.impure.lisp
tests/clos.impure.lisp
version.lisp-expr