0.9.10.17: fix bug #400, aka more correct CONSTANTP
commit0ca182b2e0fd9a7fc8005bef9d21000b326208fc
authorNikodemus Siivola <nikodemus@random-state.net>
Mon, 6 Mar 2006 17:48:10 +0000 (6 17:48 +0000)
committerNikodemus Siivola <nikodemus@random-state.net>
Mon, 6 Mar 2006 17:48:10 +0000 (6 17:48 +0000)
treed5d708967a916f5d9fd91524a2a3d8ee5e75300b
parent3d2165e67f9ad1443f6e7d8ad24810000b0436e8
0.9.10.17: fix bug #400, aka more correct CONSTANTP
 * To know that a function call is a constant we need to check that
    it doesn't signal an error in addition to knowing that the function
    is foldable.
 * To know that a THE form is constant we need to check that the
    value is of the right type and be prepared to deal with malformed
    type specifiers.
 * Tests, tests, tests.

 ...all in all, I'm starting to miss the evaluator branch.
BUGS
src/compiler/constantp.lisp
tests/compiler.pure.lisp
tests/eval.impure.lisp
version.lisp-expr