Commit e9969739 authored by Dominik Charousset's avatar Dominik Charousset

Relocate `static_assert` for misuse of atoms

parent e6484fce
......@@ -32,6 +32,12 @@ namespace caf {
template <template <class...> class R, class... Rs,
template <class...> class L, class... Ls>
constexpr int check_typed_input(const R<Rs...>&, const L<Ls...>&) {
static_assert(detail::tl_find<
detail::type_list<Ls...>,
atom_value
>::value == -1,
"atom(...) notation is not sufficient for static type "
"checking, please use atom_constant instead in this context");
static_assert(detail::tl_find_if<
detail::type_list<Rs...>,
detail::input_is<detail::type_list<Ls...>>::template eval
......
......@@ -165,12 +165,6 @@ struct deduce_lifted_output_type<type_list<typed_continue_helper<R>>> {
template <class Signatures, typename InputTypes>
struct deduce_output_type {
static_assert(tl_find<
InputTypes,
atom_value
>::value == -1,
"atom(...) notation is not sufficient for static type "
"checking, please use atom_constant instead in this context");
static constexpr int input_pos =
tl_find_if<
Signatures,
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment