From: Chris Hanson <org/chris-hanson/cph>
Date: Sat, 28 Jan 2017 22:36:55 +0000 (-0800)
Subject: Move tests from test-predicate-lattice -> test-compound-predicate.
X-Git-Tag: mit-scheme-pucked-9.2.12~227^2~38
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=25607104e5d121d78a6a41756a0a2aeeb6b9a1af;p=mit-scheme.git

Move tests from test-predicate-lattice -> test-compound-predicate.
---

diff --git a/tests/runtime/test-compound-predicate.scm b/tests/runtime/test-compound-predicate.scm
index ed79fa21b..ea4128d2b 100644
--- a/tests/runtime/test-compound-predicate.scm
+++ b/tests/runtime/test-compound-predicate.scm
@@ -48,6 +48,9 @@ USA.
 
 (define-test 'ordering
   (lambda ()
+    (assert-eqv (disjoin string?) string?)
+    (assert-eqv (conjoin string?) string?)
+
     (assert-true (predicate<= string? (disjoin string? symbol?)))
     (assert-false (predicate<= (disjoin string? symbol?) string?))
 
diff --git a/tests/runtime/test-predicate-lattice.scm b/tests/runtime/test-predicate-lattice.scm
index 923e92d27..d6c27eabb 100644
--- a/tests/runtime/test-predicate-lattice.scm
+++ b/tests/runtime/test-predicate-lattice.scm
@@ -36,13 +36,4 @@ USA.
 
     (assert-false (predicate<= any-object? string?))
     (assert-true (predicate<= any-object? any-object?))
-    (assert-true (predicate<= string? any-object?))
-
-    (assert-eqv (disjoin string?) string?)
-    (assert-eqv (conjoin string?) string?)
-
-    (assert-true (predicate<= string? (disjoin string? symbol?)))
-    (assert-false (predicate<= (disjoin string? symbol?) string?))
-
-    (assert-false (predicate<= string? (conjoin string? symbol?)))
-    (assert-true (predicate<= (conjoin string? symbol?) string?))))
\ No newline at end of file
+    (assert-true (predicate<= string? any-object?))))
\ No newline at end of file