diff options
author | Adrian Kummerlaender | 2015-01-26 18:54:59 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-01-26 18:54:59 +0100 |
commit | 7ce93ff513a993b8b46fbb401b232d6f557b948b (patch) | |
tree | 989a9c5bfb7d6c91fb6821bc0dcc0cead9d49d2c /test.cc | |
parent | 8b6de4c8c89d31c5d0e16548767ef21f242aadd1 (diff) | |
download | TypeAsValue-7ce93ff513a993b8b46fbb401b232d6f557b948b.tar TypeAsValue-7ce93ff513a993b8b46fbb401b232d6f557b948b.tar.gz TypeAsValue-7ce93ff513a993b8b46fbb401b232d6f557b948b.tar.bz2 TypeAsValue-7ce93ff513a993b8b46fbb401b232d6f557b948b.tar.lz TypeAsValue-7ce93ff513a993b8b46fbb401b232d6f557b948b.tar.xz TypeAsValue-7ce93ff513a993b8b46fbb401b232d6f557b948b.tar.zst TypeAsValue-7ce93ff513a993b8b46fbb401b232d6f557b948b.zip |
Added pair and triple aliae for the variadic `Apply` type
Diffstat (limited to 'test.cc')
-rw-r--r-- | test.cc | 14 |
1 files changed, 12 insertions, 2 deletions
@@ -639,7 +639,13 @@ static_assert( static_assert( std::is_same< tav::Int<42>, - tav::Apply<tav::Multiply, tav::Int<21>, tav::_0>::type<tav::Int<2>>::type + tav::Apply< + tav::Multiply, + tav::Int<21>, + tav::_0 + >::single_type< + tav::Int<2> + >::type >::value, "((lambda (x) (* 21 x)) 2) != 42" ); @@ -648,7 +654,11 @@ static_assert( std::is_same< tav::List<tav::Int<10>, tav::Int<12>, tav::Int<14>>::type, tav::Map< - tav::Apply<tav::Add, tav::_0, tav::Int<10>>::single_type, + tav::Apply< + tav::Add, + tav::_0, + tav::Int<10> + >::single_type, tav::List<tav::Int<0>, tav::Int<2>, tav::Int<4>>::type >::type >::value, |