SBCL fails 4 SUBTYPEP ANSI tests

[Robert Brown]

SBCL fails the following ANSI tests

  SUBTYPEP.EQL.1 SUBTYPEP.EQL.2 SUBTYPEP.MEMBER.17 SUBTYPEP.MEMBER.18

because SUBTYPEP believes EQUAL type specifier forms represent the same type.

The included patch fixes the problem by using a slightly modified version of
EQUAL to compare type specifier forms. The modified version is identical to
EQUAL except that it compares values in EQL and MEMBER specifier forms using EQL.

[Stas Boukarev (stassats)]

What about deftype then?

[Robert Brown (robert-brown)]

I believe this revised patch handles deftypes that expand to contain EQL or MEMBER forms.

[Stas Boukarev (stassats)]

Falls on (deftype dtype () 'fixnum)

(subtypep '(dtype) '(dtype))

The value
  FIXNUM
is not of type
  LIST

[Robert Brown (robert-brown)]

One more attempt ...

[Stas Boukarev (stassats)]

(subtypep '(function (&key (member t))) '(function (&key (eql t))))
=>
T