From e24f25ada7e8f48dc35cb235e045a4324bccb4f2 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Sat, 14 Feb 2015 10:43:49 +0100
Subject: Introduced `Eval` function evaluation helper * replaces `typename
 *::type` constructs with `Eval` applications * aims to further unify function
 evaluation

---
 test.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test.cc')

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"
 );
-- 
cgit v1.2.3