From c4a164aa17f6ce89d22b59413debf4c2122248aa Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Thu, 23 Mar 2006 13:45:46 +0000 Subject: [PATCH] Random type prop test failure of MIN on sbcl --- ansi-tests/misc.lsp | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/ansi-tests/misc.lsp b/ansi-tests/misc.lsp index 88a4986a..855ef676 100644 --- a/ansi-tests/misc.lsp +++ b/ansi-tests/misc.lsp @@ -11248,3 +11248,27 @@ Broken at C::WT-MAKE-CLOSURE. (deftest misc.632 (funcall (compile nil '(lambda () (let (b) (multiple-value-setq (b) 10))))) 10) + +;;; sbcl (x86 linux) 0.9.10.43 +;;; The value -17045.0 +;;; is not of type +;;; (OR (MEMBER #:|u4m7k0jz6o| 1+) +;;; (MEMBER #\b) +;;; (SINGLE-FLOAT -17045.0 -17045.0)). + +(deftest misc.633 + (let* ((x -17045.0) + (form `(lambda (p3 p4) + (declare (optimize (speed 1) (safety 3) (debug 0) (space 1)) + (type number p3) + (type (member -1451.1257 47889 #:|3| ,x #:|aabbaaaaaababa|) + p4)) + (min 1 + -251.2455 + (the number p3) + (the (member 1+ ,x #\b #:|u4m7k0jz6o|) p4) + -1506/1283 + 65681158/19740963)))) + (funcall (compile nil form) 1861 x)) + -17045.0) + -- GitLab