From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 26 Jan 2018 05:25:00 +0000 (-0700)
Subject: add more tests for builtins.
X-Git-Tag: v0.8.110~605
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a9a397c047cdf00f9226bd4a0458048140007589;p=scryer-prolog.git

add more tests for builtins.
---

diff --git a/src/tests.rs b/src/tests.rs
index 6b5b743e..55b6b745 100644
--- a/src/tests.rs
+++ b/src/tests.rs
@@ -1220,10 +1220,16 @@ fn test_queries_on_builtins()
 
     assert_prolog_success!(&mut wam, "?- functor(F, f, 0).", [["F = f"]]);
 
+    assert_prolog_success!(&mut wam, "?- functor(Func, f, 3).", [["Func = f(_2, _3, _4)"]]);
+    assert_prolog_success!(&mut wam, "?- functor(Func, f, 4).", [["Func = f(_2, _3, _4, _5)"]]);
+
     assert_prolog_success!(&mut wam, "?- catch(functor(F, \"sdf\", 3), E, true).",
                            [["E = instantiation_error", "F = _1"]]);
     assert_prolog_success!(&mut wam, "?- catch(functor(Func, F, 3), E, true).",
                            [["E = instantiation_error", "Func = _1", "F = _2"]]);
+    assert_prolog_success!(&mut wam, "?- catch(functor(Func, f, N), E, true).",
+                           [["E = instantiation_error", "Func = _1", "N = _3"]]);
+    assert_prolog_failure!(&mut wam, "?- catch(functor(Func, f, N), E, false).");
 
     assert_prolog_success!(&mut wam, "?- X is 3, call(integer, X).");
     assert_prolog_failure!(&mut wam, "?- X is 3 + 3.5, call(integer, X).");