Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [4af56c] Maximize Restore History

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.)

Nikodemus Siivola Nikodemus Siivola 2009-05-01

changed BUGS
changed NEWS
changed src
changed src/compiler
changed src/compiler/array-tran.lisp
changed src/compiler/ir1opt.lisp
changed src/compiler/seqtran.lisp
changed tests
changed tests/compiler.pure.lisp
changed version.lisp-expr
BUGS Diff Switch to side-by-side view
Loading...
NEWS Diff Switch to side-by-side view
Loading...
src
Directory.
src/compiler
Directory.
src/compiler/array-tran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1opt.lisp Diff Switch to side-by-side view
Loading...
src/compiler/seqtran.lisp Diff Switch to side-by-side view
Loading...
tests
Directory.
tests/compiler.pure.lisp Diff Switch to side-by-side view
Loading...
version.lisp-expr Diff Switch to side-by-side view
Loading...