From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 29 May 2017 18:21:05 +0000 (-0600)
Subject: add more tests
X-Git-Tag: v0.8.110~717
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b349ac8bf92185d825341f685b7ba0b9cac39a3d;p=scryer-prolog.git

add more tests
---

diff --git a/src/main.rs b/src/main.rs
index 962c35d0..56c9b048 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -625,6 +625,19 @@ mod tests {
         submit(&mut wam, "p(f(g(X)), compound, [lists,are,good]).");
 
         assert_eq!(submit(&mut wam, "?- call(p(f(g(X))), Y, Z)."), true);
+
+        submit(&mut wam, "david_lynch(coffee).
+                          david_lynch(pie).
+                          david_lynch(kyle(Film)) :- kyle(Film).");
+
+        submit(&mut wam, "kyle(dune).
+                          kyle(blue_velvet).
+                          kyle(showgirls).
+                          kyle(flintstones).");
+
+        assert_eq!(submit(&mut wam, "?- call(david_lynch, X)."), true);
+        assert_eq!(submit(&mut wam, "?- call(david_lynch, kyle(Film))."), true);
+        assert_eq!(submit(&mut wam, "?- call(david_lynch, kyle(Film), _)."), false);
     }
 }