From a07999f7436802f15fc21bebd083006c9e681638 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Thu, 19 Feb 2015 19:18:48 +0100
Subject: Introduced `Branch` and `Else` pair aliases for usage in `Cond` *
 pure _syntax sugar_ to improve readability of `Cond` conditionals

---
 test.cc | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'test.cc')

diff --git a/test.cc b/test.cc
index 5742fb2..7a2e963 100644
--- a/test.cc
+++ b/test.cc
@@ -239,9 +239,9 @@ static_assert(
 	std::is_same<
 		tav::Int<2>,
 		tav::Cond<
-			tav::Pair<tav::IsEqualValue<tav::Int<1>, tav::Int<2>>, tav::Int<1>>,
-			tav::Pair<tav::IsEqualValue<tav::Int<2>, tav::Int<2>>, tav::Int<2>>,
-			tav::Pair<tav::IsEqualValue<tav::Int<3>, tav::Int<2>>, tav::Int<3>>
+			tav::Branch<tav::IsEqualValue<tav::Int<1>, tav::Int<2>>, tav::Int<1>>,
+			tav::Branch<tav::IsEqualValue<tav::Int<2>, tav::Int<2>>, tav::Int<2>>,
+			tav::Branch<tav::IsEqualValue<tav::Int<3>, tav::Int<2>>, tav::Int<3>>
 		>
 	>::value,
 	"(cond ((= 1 2) 1) ((= 2 2) 2) ((= 3 2) 3)) != 2"
@@ -251,10 +251,10 @@ static_assert(
 	std::is_same<
 		tav::Int<-1>,
 		tav::Cond<
-			tav::Pair<tav::IsEqualValue<tav::Int<1>, tav::Int<2>>, tav::Int< 1>>,
-			tav::Pair<tav::IsEqualValue<tav::Int<2>, tav::Int<3>>, tav::Int< 2>>,
-			tav::Pair<tav::IsEqualValue<tav::Int<3>, tav::Int<4>>, tav::Int< 3>>,
-			tav::Pair<tav::Boolean<true>,                          tav::Int<-1>>
+			tav::Branch<tav::IsEqualValue<tav::Int<1>, tav::Int<2>>, tav::Int< 1>>,
+			tav::Branch<tav::IsEqualValue<tav::Int<2>, tav::Int<3>>, tav::Int< 2>>,
+			tav::Branch<tav::IsEqualValue<tav::Int<3>, tav::Int<4>>, tav::Int< 3>>,
+			tav::Else<tav::Int<-1>>
 		>
 	>::value,
 	"(cond ((= 1 2) 1) ((= 2 3) 2) ((= 3 4) 3) (else -1)) != -1"
-- 
cgit v1.2.3