diff options
author | Adrian Kummerlaender | 2015-02-26 19:06:34 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-26 19:06:34 +0100 |
commit | 34530d8532e22afe0026b956ae395ddc666351b3 (patch) | |
tree | ea3f2f99c8fe60f3a70213c0f1fa294aabff0237 /test.cc | |
parent | e26621df352272688834361e7d026338cefb1372 (diff) | |
download | TypeAsValue-34530d8532e22afe0026b956ae395ddc666351b3.tar TypeAsValue-34530d8532e22afe0026b956ae395ddc666351b3.tar.gz TypeAsValue-34530d8532e22afe0026b956ae395ddc666351b3.tar.bz2 TypeAsValue-34530d8532e22afe0026b956ae395ddc666351b3.tar.lz TypeAsValue-34530d8532e22afe0026b956ae395ddc666351b3.tar.xz TypeAsValue-34530d8532e22afe0026b956ae395ddc666351b3.tar.zst TypeAsValue-34530d8532e22afe0026b956ae395ddc666351b3.zip |
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`
Diffstat (limited to 'test.cc')
-rw-r--r-- | test.cc | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -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<1>, tav::Int<2>, tav::Int<3>, tav::Int<4>, tav::Int<5>, tav::Int<6>>, + tav::Concatenate< + tav::List<tav::Int<1>, tav::Int<2>>, + tav::List<tav::Int<3>>, + tav::List<tav::Int<4>, 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( |