rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Mark Thom
2018-01-27 00:23:32 -07:00
parent 6894162c91
commit 1412071ea9
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/tests.rs
View File

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