projects / sbcl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99440ad) | patch
teach NODE-CONSERVATIVE-TYPE about union types
authorNikodemus Siivola <nikodemus@random-state.net>
Sun, 7 Oct 2012 11:12:59 +0000 (14:12 +0300)
committerNikodemus Siivola <nikodemus@random-state.net>
Sun, 7 Oct 2012 11:48:33 +0000 (14:48 +0300)
commit7374cac4bf6ad3b9f109e4a4d0558325b2cad230
tree043cb83bbf6e79731fbbc95d36a154b6d26a3b91tree | snapshot
parent99440adb9fc66f2713c4c4ba7b00ae278d9bc1ebcommit | diff
teach NODE-CONSERVATIVE-TYPE about union types

  Conservative type of STRING is STRING -- and this makes it so.

  Fixes lp#1050768 (but also future-proof ARRAY-IN-BOUNDS-P against
  '*) explicitly.
NEWS diff | blob | history
src/compiler/array-tran.lisp diff | blob | history
src/compiler/ir1opt.lisp diff | blob | history
tests/compiler.pure.lisp diff | blob | history
Mirror of Steel Bank Common Lisp SBCL's official repository