SUBTYPEP sometimes does not error on invalid type specifiers
Bug #1950025 reported by
Paul F. Dietz
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
New
|
Undecided
|
Unassigned |
Bug Description
(found by Roger Corman)
(subtypep 1 1) ==> T, T
(subtypep (1+ most-positive-
(subtypep 0 1) ==> error
(the second case there shows this is happening even when the two args are not EQ but are EQL, which is weird because for valid type specifiers EQ and EQL should be the same.)
description: | updated |
To post a comment you must log in.
I think this is by design. www.lispworks. com/documentati on/HyperSpec/ Issues/ iss335_ w.htm
From from http://
"This version eliminates the requirement to signal an error."