Handle SIMPLE-TYPE-ERROR when propagating bounds
authorPaul Khuong <pvk@pvk.ca>
Sun, 14 Aug 2011 21:28:22 +0000 (17:28 -0400)
committerPaul Khuong <pvk@pvk.ca>
Sun, 14 Aug 2011 21:28:22 +0000 (17:28 -0400)
commita7b24b560fe52cedbbe831b642c5636447156fcf
tree742ea0e62cecf72eb28c8433bcf2bd749cb0be66
parent3254e1b6fb33e4ff5be5f37ba4bbcc34ca151cf7
Handle SIMPLE-TYPE-ERROR when propagating bounds

 Type conversions (e.g. bignum to float) may signal a
 SIMPLE-TYPE-ERROR rather than returning an infinity.
 Treat that case like an unknown value.

 Add two tests.

 Fixes lp#819269.
NEWS
src/compiler/float-tran.lisp
src/compiler/srctran.lisp
tests/compiler.pure.lisp