X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.before-xc.lisp;h=77f484f206bc688dbfba6768ec1e7bfec4be2d7f;hb=23ce012234d40a8d9ad34644d20496d062713352;hp=380f930c6a11d003904e229214cf240df0fc8594;hpb=5ee902ed6ceef841efee4a50459ff545293a1d95;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)