Simplified `List`, `Length` and `Reverse` implementations

* continuation of 8e49cc6
* list constructor was generalized to a _variadic fold_

1 files changed, 0 insertions, 8 deletions

diff --git a/test.cc b/test.cc
index efe48f3..074d711 100644
--- a/test.cc
+++ b/test.cc
@@ -323,14 +323,6 @@ static_assert(
 
 static_assert(
 	std::is_same<
-		tav::Pair<tav::Int<1>, tav::Pair<tav::Int<2>, void>>,
-		tav::List<void, tav::Int<1>, void, tav::Int<2>, void>
-	>::value,
-	"(list void 1 void 2 void) != '(1 . 2)"
-);
-
-static_assert(
-	std::is_same<
 		tav::Int<1>,
 		tav::Head<
 			tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>