1 files changed, 14 insertions, 0 deletions
diff --git a/src/boost/libs/hana/example/extract.cpp b/src/boost/libs/hana/example/extract.cpp
new file mode 100644
index 00000000..1334a831
--- /dev/null
+++ b/src/boost/libs/hana/example/extract.cpp
@@ -0,0 +1,14 @@
+// Copyright Louis Dionne 2013-2017
+// Distributed under the Boost Software License, Version 1.0.
+// (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
+
+#include <boost/hana/extract.hpp>
+#include <boost/hana/functional/placeholder.hpp>
+#include <boost/hana/lazy.hpp>
+namespace hana = boost::hana;
+
+
+static_assert(hana::extract(hana::make_lazy(1)) == 1, "");
+static_assert(hana::extract(hana::make_lazy(hana::_ + 1)(3)) == 4, "");
+
+int main() { }