From d3c02466998eb0606ff025fe44a887c19d7b768c Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Mon, 3 Mar 2003 13:44:37 +0000 Subject: [PATCH] Added some tests motivated by a bug in sbcl. --- ansi-tests/subtypep-cons.lsp | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp index 76d4f5bb..8c38bddb 100644 --- a/ansi-tests/subtypep-cons.lsp +++ b/ansi-tests/subtypep-cons.lsp @@ -200,3 +200,15 @@ (not (cons (eql c) (eql z))))) nil) +;;; Test case that came up in SBCL +(deftest subtypep.cons.21 + (check-all-subtypep + '(cons integer single-float) + '(or (cons fixnum single-float) (cons bignum single-float))) + nil) + +(deftest subtypep.cons.22 + (check-all-subtypep + '(cons single-float integer) + '(or (cons single-float fixnum) (cons single-float bignum))) + nil) -- GitLab