From 25607104e5d121d78a6a41756a0a2aeeb6b9a1af Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Sat, 28 Jan 2017 14:36:55 -0800 Subject: [PATCH] Move tests from test-predicate-lattice -> test-compound-predicate. --- tests/runtime/test-compound-predicate.scm | 3 +++ tests/runtime/test-predicate-lattice.scm | 11 +---------- 2 files changed, 4 insertions(+), 10 deletions(-) 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 -- 2.25.1