WIP: replicating a basic test from souffle

wright · wright · commit fabebe87d555 · 2019-11-07T18:01:19.000Z
diff --git a/src/Datalog.h b/src/Datalog.h
@@ -77,10 +77,17 @@ VariableOrValue<T> atomElement(const T& t) {
     return VariableOrValue<T>{t};
 };
 
+#if 1
 template<typename RELATION_TYPE, typename ... Ts>
 typename RELATION_TYPE::Atom atom(Ts&& ... elements) {
 	return typename RELATION_TYPE::Atom(forward_as_tuple(atomElement(elements)...));
 }
+#else
+template<typename RELATION_TYPE, typename ... Ts>
+typename RELATION_TYPE::Atom atom(Ts ... elements) {
+	return typename RELATION_TYPE::Atom(forward_as_tuple(atomElement(&elements)...));
+}
+#endif
 
 template <typename... Ts>
 struct Relation : tuple<Ts...>
@@ -91,7 +98,6 @@ struct Relation : tuple<Ts...>
 	typedef set<Relation> Set;
 };
 
-// TODO: can we avoid unbinding non-Variables by compile-time decisions?
 template <typename T>
 static void unbind(const VariableOrValue<T> &VariableOrValue)
 {
diff --git a/tests/types_test.cpp b/tests/types_test.cpp
@@ -128,8 +128,36 @@ bool test2()
     return true;
 }
 
+bool po1()
+{
+    typedef unsigned int Number;
+    struct Check : Relation<Number, Number, Number, Number, Number, Number>{};
+    struct In : Relation<Number, Number, Number, Number, Number, Number, Number>{};
+    struct A : Relation<Number, Number>{};
+
+    Variable<Number> a, b, c, d, e, f, i;
+    Variable<Number> anon;
+
+#if 0
+    struct Rule1 : Rule<A, Check, In> {} rule1{
+        atom<A>(1, i),
+        //atom<A>(Number{1}, i),
+        //atom<A>(uint{1}, i),
+        //atom<A>(forward<Number>(1), i),
+        //atom<A>(move(1), i),
+        {
+            atom<Check>(anon, b, c, d, e, f),
+            atom<In>(anon, b, c, d, e, f, i)
+        }
+    };
+#endif
+
+    return true;
+}
+
 int main()
 {
     test1();
     test2();
+    po1();
 }
