[Sbcl-devel] Subtypep

[<lev...@gm...>]

Hi,

These may or may not need to be fixed, but still...

CL-USER> (subtypep '(or string string) '(or string integer))
T
T
CL-USER> (subtypep '(or (satisfies x) string) '(or (satisfies x) integer))
NIL
T

This seems to be wrong to me. What if (satisfies x) is defined to be
(typep o 'string) or t?

Quote from CLHS:
false    true     type-1 is definitely not a subtype of type-2.

Another minor thing:
CL-USER> (typep 1 '(or (satisfies undefined-fn) integer))
; Evaluation aborted
CL-USER> (subtypep 'integer '(or (satisfies undefined-fn) integer))
T
T

The first gives an error depending on the order under the or type
specifier and results in a some kind of minor contradiction with the
subtypep call.

Regards,
levy

-- 
There's no perfectoin