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

diff --git a/src/tests.rs b/src/tests.rs
index 20f4f0792573d13bf6c41dcd951c9a43aa384056..737e236173e122359a0fdf4eeb7c8657badff512 100644 (file)
--- 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]