summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/yap/test/compile_placeholders.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/boost/libs/yap/test/compile_placeholders.cpp')
-rw-r--r--src/boost/libs/yap/test/compile_placeholders.cpp50
1 files changed, 50 insertions, 0 deletions
diff --git a/src/boost/libs/yap/test/compile_placeholders.cpp b/src/boost/libs/yap/test/compile_placeholders.cpp
new file mode 100644
index 000000000..8a4e50aa3
--- /dev/null
+++ b/src/boost/libs/yap/test/compile_placeholders.cpp
@@ -0,0 +1,50 @@
+// Copyright (C) 2016-2018 T. Zachary Laine
+//
+// Distributed under the Boost Software License, Version 1.0. (See
+// accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+#include <boost/yap/expression.hpp>
+
+
+template<typename T>
+using term = boost::yap::terminal<boost::yap::expression, T>;
+
+template<long long I>
+using place_term =
+ boost::yap::terminal<boost::yap::expression, boost::yap::placeholder<I>>;
+
+template<typename T>
+using ref = boost::yap::expression_ref<boost::yap::expression, T>;
+
+namespace yap = boost::yap;
+namespace bh = boost::hana;
+
+
+void compile_placeholders()
+{
+ using namespace boost::yap::literals;
+
+ {
+ place_term<1> p1 = 1_p;
+ (void)p1;
+ }
+
+ {
+ place_term<1> p1 = 1_p;
+ term<double> unity{1.0};
+ yap::expression<
+ yap::expr_kind::plus,
+ bh::tuple<ref<place_term<1> &>, ref<term<double> &>>>
+ expr = p1 + unity;
+ (void)expr;
+ }
+
+ {
+ place_term<1> p1 = 1_p;
+ yap::expression<
+ yap::expr_kind::plus,
+ bh::tuple<ref<place_term<1> &>, place_term<2>>>
+ expr = p1 + 2_p;
+ (void)expr;
+ }
+}