1.0.18.1: correct handling of SATISFIES types in the compiler
authorNikodemus Siivola <nikodemus@random-state.net>
Mon, 30 Jun 2008 08:35:58 +0000 (08:35 +0000)
committerNikodemus Siivola <nikodemus@random-state.net>
Mon, 30 Jun 2008 08:35:58 +0000 (08:35 +0000)
commitfaafcfc8d751c0f549f8d30ff2ea4bc7342a7329
treed330e0d5e2d96c023df526322e09535681ba65a3
parent1b7893730f82deb30161b3065a611774a02b2d66
1.0.18.1: correct handling of SATISFIES types in the compiler

 * CTYPEP used to retur a secondary value of true in cases where the
   function in question was not foldable.

 * Slightly sleazily extent SB-C::CONSTANT-FUNCTION-CALL-P (part of
   CONSTANTP) to return the primary result of the call as the
   secondary value, so CTYPEP can use it.

 * Test-case.
NEWS
src/code/target-type.lisp
src/compiler/constantp.lisp
tests/compiler.impure.lisp
version.lisp-expr