better decl of symbols

ianpaulwright · ianpaulwright · commit afd02ccb5788 · 2019-11-03T17:51:55.000Z
diff --git a/src/Datalog.h b/src/Datalog.h
@@ -43,6 +43,11 @@ struct Symbol : optional<T>
 	}
 };
 
+template<typename T>
+shared_ptr<Symbol<T>> symbol() {
+	return make_shared<Symbol<T>>();
+}
+
 template <typename T>
 struct SymbolOrValue : public variant<T, shared_ptr<Symbol<T>>>
 {
diff --git a/tests/types_test.cpp b/tests/types_test.cpp
@@ -49,9 +49,10 @@ int main()
         {
         };
 
-        auto x = make_shared<Symbol<string>>();
-        auto y = make_shared<Symbol<string>>();
-        auto z = make_shared<Symbol<string>>();
+        auto x = symbol<string>();
+        auto y = symbol<string>();
+        auto z = symbol<string>();
+
         // Rule1
         Adviser::Atom clause1{{x}, {y}};
         auto rule11 = Rule<AcademicAncestor, Adviser>{

Original file line number	Diff line number	Diff line change
`@@ -43,6 +43,11 @@ struct Symbol : optional<T>`
`43`	`43`	`}`
`44`	`44`	`};`
`45`	`45`
	`46`	`+template<typename T>`
	`47`	`+shared_ptr<Symbol<T>> symbol() {`
	`48`	`+ return make_shared<Symbol<T>>();`
	`49`	`+}`
	`50`	`+`
`46`	`51`	`template <typename T>`
`47`	`52`	`struct SymbolOrValue : public variant<T, shared_ptr<Symbol<T>>>`
`48`	`53`	`{`