X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.pure.lisp;h=919d7053e0172941c55cb5bf3a8ca78817b9e135;hb=43c6634142a96e1d1bab2efe1a39cd8234903c41;hp=6eea7d3ee23947a2c47f9b9b31cf0b3ab79141e1;hpb=8c74121c546327088c6693e5d4bf673ac97feb64;p=sbcl.git

diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp
index 6eea7d3..919d705 100644
--- a/tests/type.pure.lisp
+++ b/tests/type.pure.lisp
@@ -424,3 +424,19 @@ ACTUAL ~D DERIVED ~D~%"
 (with-test (:name :bug-485972)
   (assert (equal (multiple-value-list (subtypep 'symbol 'keyword)) '(nil t)))
   (assert (equal (multiple-value-list (subtypep 'keyword 'symbol)) '(t t))))
+
+;; WARNING: this test case would fail by recursing into the stack's guard page.
+(with-test (:name :bug-883498)
+  (sb-kernel:specifier-type
+   `(or (INTEGER -2 -2)
+        (AND (SATISFIES FOO) (RATIONAL -3/2 -3/2)))))
+
+;; The infinite recursion mentioned in the previous test was caused by an
+;; attempt to get the following right.
+(with-test (:name :quirky-integer-rational-union)
+  (assert (subtypep `(or (integer * -1)
+                         (and (rational * -1/2) (not integer)))
+                    `(rational * -1/2)))
+  (assert (subtypep `(rational * -1/2)
+                    `(or (integer * -1)
+                         (and (rational * -1/2) (not integer))))))