SBCL

  1. Bug #1533685
  2. Comment #1

Comment 1 for bug 1533685

Revision history for this message
Stas Boukarev (stassats) wrote : Re: subtypep don't understand EQL/MEMBER/KEYWORD type

KEYWORD is a deftype for (and symbol (satisfies keywordp)), and subtypep can't reason well about satisfies.