diff options
author | Christophe Rhodes <csr21@cantab.net> | 2021-02-19 17:05:29 +0000 |
---|---|---|
committer | Christophe Rhodes <csr21@cantab.net> | 2021-02-19 17:25:59 +0000 |
commit | 101e631a9202e327b68b763c64188f5a4538352a (patch) | |
tree | d4474b8dc458bc522c99e2050f6e2d6dfb22e3e2 /tests/type.pure.lisp | |
parent | ac539f15a6ecdffcfb16c305fca952e6bf7cb7d7 (diff) |
Avoid calling TYPE= on wild types
Move the TYPE= clause down in UNITE-ARRAY-TYPES-ELEMENT-TYPES, but
continue to handle two wild-types before one.
Diffstat (limited to 'tests/type.pure.lisp')
-rw-r--r-- | tests/type.pure.lisp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp index 640395ca0..3ab365bb4 100644 --- a/tests/type.pure.lisp +++ b/tests/type.pure.lisp @@ -774,3 +774,7 @@ (t2 '(or (cons t atom) (cons function t))) (answer (multiple-value-list (subtypep t1 t2)))) (assert (member answer '((nil nil) (t t)) :test 'equal)))) + +(with-test (:name (:lp1916233)) + (assert-tri-eq t t (subtypep '(cons (or (simple-array ratio) simple-array) nil) nil)) + (assert-tri-eq t t (subtypep '(or (array ratio) sequence) t))) |