From f922e0b5dfc0a03378b231ad2705dbef29310d56 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Fri, 16 Jan 2015 23:55:01 +0100
Subject: Implemented recursive `Concatenate` _Cons_ constructor * concatenates
 two given _Cons_ based lists into a single one

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

(limited to 'test.cc')

diff --git a/test.cc b/test.cc
index e2b7186..5b24c32 100644
--- a/test.cc
+++ b/test.cc
@@ -32,10 +32,15 @@ TEST_F(TypeAsValueTest, Cons) {
 }
 
 TEST_F(TypeAsValueTest, List) {
-	EXPECT_EQ(1, ( tav::Car<tav::List<tav::Int<1>>::type>::value ));
-	EXPECT_EQ(1, ( tav::Car<tav::List<tav::Int<1>, tav::Int<2>>::type>::value ));
-	EXPECT_EQ(2, ( tav::Car<tav::Cdr<tav::List<tav::Int<1>, tav::Int<2>>::type>>::value ));
-	EXPECT_EQ(2, ( tav::Car<tav::Cdr<tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>>::value ));
+	EXPECT_EQ(1, ( tav::Head<tav::List<tav::Int<1>>::type>::value ));
+	EXPECT_EQ(1, ( tav::Head<tav::List<tav::Int<1>, tav::Int<2>>::type>::value ));
+	EXPECT_EQ(2, ( tav::Head<tav::Tail<tav::List<tav::Int<1>, tav::Int<2>>::type>>::value ));
+	EXPECT_EQ(2, ( tav::Head<tav::Tail<tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>>::value ));
+}
+
+TEST_F(TypeAsValueTest, ListConcatenate) {
+	EXPECT_EQ(1, ( tav::Head<tav::Concatenate<tav::List<tav::Int<1>>::type, tav::List<tav::Int<2>>::type>::type>::value ));
+	EXPECT_EQ(2, ( tav::Head<tav::Tail<tav::Concatenate<tav::List<tav::Int<1>>::type, tav::List<tav::Int<2>>::type>::type>>::value ));
 }
 
 int main(int argc, char **argv) {
-- 
cgit v1.2.3