Introduced `Eval` function evaluation helper

* replaces `typename *::type` constructs with `Eval` applications
* aims to further unify function evaluation

1 files changed, 2 insertions, 2 deletions

diff --git a/test.cc b/test.cc
index 11b870f..39d5349 100644
--- a/test.cc
+++ b/test.cc
@@ -220,7 +220,7 @@ static_assert(
 static_assert(
 	std::is_same<
 		tav::Int<1>,
-		tav::If<true, tav::Int<1>, tav::Int<2>>::type
+		tav::If<tav::Boolean<true>, tav::Int<1>, tav::Int<2>>::type
 	>::value,
 	"(if #t 1 2) != 1"
 );
@@ -228,7 +228,7 @@ static_assert(
 static_assert(
 	std::is_same<
 		tav::Int<2>,
-		tav::If<false, tav::Int<1>, tav::Int<2>>::type
+		tav::If<tav::Boolean<false>, tav::Int<1>, tav::Int<2>>::type
 	>::value,
 	"(if #f 1 2) != 2"
 );