SBCL

  1. Bug #913232
  2. Comment #4

Comment 4 for bug 913232

Revision history for this message
Nikodemus Siivola (nikodemus) wrote :

commit 5a2c8811f297b21b5e4142ce29d2c7981cbb2697
Author: Nikodemus Siivola <email address hidden>
Date: Mon Jan 23 14:27:17 2012 +0200

    weakening hairy integer types

     Fixes lp#913232.

     Deal with intersection types and unions including non-integer component
     types, such as:

       (OR (INTEGER * -1) (AND (SATISFIES ODDP) (INTEGER 1)))