projects / sbcl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c6e2e8) | patch
Simpler and more precise type derivation for APPEND/NCONC
authorPaul Khuong <pvk@pvk.ca>
Mon, 3 Jun 2013 17:21:25 +0000 (13:21 -0400)
committerPaul Khuong <pvk@pvk.ca>
Mon, 3 Jun 2013 17:21:25 +0000 (13:21 -0400)
commit0d51ca7e5e624dc3bad5c87e14211e8e6f7b3a45
treec5091ec09d84356725f698164e3f0380ab4baaa3tree | snapshot
parent8c6e2e85859766d2c4c6a272b952de2ebe467487commit | diff
Simpler and more precise type derivation for APPEND/NCONC

 We can suppose that all but the last argument are lists when
 deriving the return type... and the logic to compute the return
 type can be much simpler: it's either a CONS, the last argument,
 or we don't know which (yet).
src/compiler/srctran.lisp diff | blob | history
tests/compiler.pure.lisp diff | blob | history
Mirror of Steel Bank Common Lisp SBCL's official repository