From 34530d8532e22afe0026b956ae395ddc666351b3 Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Thu, 26 Feb 2015 19:06:34 +0100 Subject: Enabled `Concatenate` to concatenate a variadic pack of lists * analogously to arbitrary list count concatenation in Scheme's `append` ** implemented for `Concatenate` instead as it fits better with the structure between `Append` and `Concatenate` --- test.cc | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'test.cc') diff --git a/test.cc b/test.cc index 525afcf..ef0d8c3 100644 --- a/test.cc +++ b/test.cc @@ -839,6 +839,18 @@ static_assert( "(concatenate (list (list 1 2) (list 3) (list 4 5 6))) != (list 1 2 3 4 5 6)" ); +static_assert( + std::is_same< + tav::List, tav::Int<2>, tav::Int<3>, tav::Int<4>, tav::Int<5>, tav::Int<6>>, + tav::Concatenate< + tav::List, tav::Int<2>>, + tav::List>, + tav::List, tav::Int<5>, tav::Int<6>> + > + >::value, + "(concatenate (list 1 2) (list 3) (list 4 5 6)) != (list 1 2 3 4 5 6)" +); + // list iota static_assert( -- cgit v1.2.3