X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.before-xc.lisp;fp=tests%2Ftype.before-xc.lisp;h=77f484f206bc688dbfba6768ec1e7bfec4be2d7f;hb=cd8fe50554652680dde36396d7862fc6cc83839c;hp=380f930c6a11d003904e229214cf240df0fc8594;hpb=9ed1517375b86e4df9d886f930ce1a42bcc31ce2;p=sbcl.git diff --git a/tests/type.before-xc.lisp b/tests/type.before-xc.lisp index 380f930..77f484f 100644 --- a/tests/type.before-xc.lisp +++ b/tests/type.before-xc.lisp @@ -283,6 +283,11 @@ (sb-xc:subtypep '(function) '(function (t &rest t))) (assert (not yes)) (assert win)) +;; Used to run out of stack. +(multiple-value-bind (yes win) + (sb-xc:subtypep 'null '(or unk0 unk1)) + (assert (not yes)) + (assert (not win))) (multiple-value-bind (yes win) (sb-xc:subtypep '(and function instance) nil)