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 ed79fa21bf9a6feea61b335c3424489c23088468..ea4128d2b1eeb610fbe3cf67c5b26b1ad47da7b2 100644 (file)
--- 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 923e92d278fb47365a03a913fb4fbeb827fe3d19..d6c27eabbf1d20e94571fb47fd94079f2c87eaef 100644 (file)
--- 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