From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 27 Jan 2018 07:23:32 +0000 (-0700)
Subject: disjunctions do operate correctly (so far), write more tests.
X-Git-Tag: v0.8.110~602
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1412071ea919bd404f9b96349f02e2d0057f160b;p=scryer-prolog.git

disjunctions do operate correctly (so far), write more tests.
---

diff --git a/src/tests.rs b/src/tests.rs
index 20f4f079..737e2361 100644
--- a/src/tests.rs
+++ b/src/tests.rs
@@ -1168,9 +1168,11 @@ fn test_queries_on_conditionals()
 
     submit(&mut wam, "test(X, [X]) :- (atomic(X) -> true ; throw(type_error(atomic_expected, X))).
                       test(_, _).");
-    //TODO: this test should fail, not succeed! fix it.
+    
     assert_prolog_success!(&mut wam, "?- catch(test(a, [a]), type_error(E), true).",
                            [["E = _6"], ["E = _6"]]);
+
+    //TODO: write tests for calling ;, ->, confirm behavior is correct.
 }
 
 #[test]