Merge pull request #298 from nightlord/develop

add Implicit equality constraints test,related #292
nathanmarz · Jan 12, 2016 · 3c141da · 3c141da
2 parents 08db2e9 + 7d73321
commit 3c141da
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/cascalog-core/test/cascalog/api_test.clj b/cascalog-core/test/cascalog/api_test.clj
@@ -812,3 +812,17 @@
              (< ?age 50)))
     => (produces [["ben" 35]
                   [["ben" 35] ["jerry" 41]]])))
+
+(deftest test-implicit-equality-constraints
+  (let [num-pair [
+                  [1 2]
+                  [0 0]
+                  [1 1]
+                  [4 4]
+                  [8 3]
+                  [4 0]
+                  ]]
+    (fact
+     (<- [?n]
+         (num-pair :> ?n ?n))
+     => (produces [[0] [1] [4]]))))