Tests TYPE=.2 and ALEXANDRIA/TESTS::TYPE=.3 fail on ABCL
Alexandria expects more certainty from ABCL's subtypep
than it provides:
CL-USER(13): (subtypep 'list '(or null cons))
NIL
NIL
This one
CL-USER(15): (subtypep '(and symbol list) 'null)
NIL
NIL
If these are bugs, they are probably forgivable: ABCL admits it doesn't know if its answer is correct, which I believe to be correct behavior according to the spec.
There seems to be a bug in the way Alexandria combines two subtypep
checks into a test=
check, because we see this:
CL-USER(13): (subtypep 'list '(or null cons))
NIL
NIL
CL-USER(17): (alexandria:type= 'list '(or null cons))
NIL
T
CL-USER(18): (subtypep '(or null cons) 'list)
T
T
Alexandria has made certainty out of uncertainty. See #35 (closed)