source:
trunk/abcl/t/subtypep.lisp
| Last change on this file was 15726, checked in by , 2 years ago | |
|---|---|
| File size: 335 bytes | |
| Line | |
|---|---|
| 1 | (prove:plan 4) |
| 2 | |
| 3 | ;;;; <https://github.com/armedbear/abcl/issues/433> |
| 4 | (prove:is-values |
| 5 | (subtypep '(or null cons) 'list) |
| 6 | '(t t)) |
| 7 | |
| 8 | (prove:is-values |
| 9 | (subtypep 'list '(or null cons)) |
| 10 | '(t t)) |
| 11 | |
| 12 | (prove:is-values |
| 13 | (subtypep 'null '(and symbol list)) |
| 14 | '(t t)) |
| 15 | |
| 16 | (prove:is-values |
| 17 | (subtypep '(and symbol list) 'null) |
| 18 | '(t t)) |
| 19 | |
| 20 | (prove:finalize) |
Note: See TracBrowser
for help on using the repository browser.
