Improved `simulate` function of the Turing machine example

* introduced `state::state_accessor` helper function and moved position logic into `updatePosition`
* added `IsEqual` comparator and expressed other basic comparators in terms of itself

1 files changed, 22 insertions, 0 deletions

diff --git a/test.cc b/test.cc
index 774f9be..44c0f6f 100644
--- a/test.cc
+++ b/test.cc
@@ -33,6 +33,28 @@ int main(int, char **) { }
 static_assert(
 	std::is_same<
 		tav::Boolean<true>,
+		tav::IsEqual<
+			tav::Pair<tav::Int<1>, tav::Int<2>>,
+			tav::Pair<tav::Int<1>, tav::Int<2>>
+		>
+	>::value,
+	"(IsEqual '(1 . 2) '(1 . 2)) != #t"
+);
+
+static_assert(
+	std::is_same<
+		tav::Boolean<false>,
+		tav::IsEqual<
+			tav::Pair<tav::Int<1>, tav::Int<2>>,
+			tav::Pair<tav::Int<2>, tav::Int<3>>
+		>
+	>::value,
+	"(IsEqual '(1 . 2) '(2 . 3)) != #f"
+);
+
+static_assert(
+	std::is_same<
+		tav::Boolean<true>,
 		tav::IsEqualType<tav::Int<1>, tav::Int<2>>
 	>::value,
 	"(IsEqualType 1 2) != #t"