X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.pure.lisp;h=f472f249ab05f94f109b882670cd49d368b15642;hb=9d36021d86b7db7561b2edc40324c8e5229f88b3;hp=23e58502e34b96ca2c1561c943a1e6c941d3e570;hpb=0d3d3a78055fa485985cda2df688f3cd7e9adb18;p=sbcl.git diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp index 23e5850..f472f24 100644 --- a/tests/type.pure.lisp +++ b/tests/type.pure.lisp @@ -215,6 +215,8 @@ (assert (subtypep 'complex '(complex real))) (assert (subtypep '(complex real) 'complex)) (assert (subtypep '(complex (eql 1)) '(complex (member 1 2)))) +(assert (subtypep '(complex ratio) '(complex rational))) +(assert (subtypep '(complex ratio) 'complex)) (assert (equal (multiple-value-list (subtypep '(complex (integer 1 2)) '(member #c(1 1) #c(1 2) #c(2 1) #c(2 2))))