Comment 1 for bug 883498

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

Here's a pared down test-case:

(sb-kernel:specifier-type
  '(or (INTEGER -2 -2)
       (AND (SATISFIES FOO) (RATIONAL -191753/99253 -191753/99253))))

...somewhat peculiarly, it works for /some/ rational types.