API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Dec 8th, 2019
91
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 8.29 KB | None | 0 0
raw download clone embed print report
  1. mich.cpp:114:5: error: static_assert failed due to requirement 'Fibin<unsigned char, true>::eval() == 55'
  2.     static_assert(Fibin<uint8_t>::eval<If< Eq<L<32>, L<5>>, L<10>, L<11> >>() == 55);
  3.     ^             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  4. In file included from mich.cpp:3:
  5. ./fibin.h:272:62: error: no member named 'value' in 'Invoke<Ref<16>, Lit<Fib<0> > >'
  6.         return (T) Evaluate<Expr, EmptyEnvironment>::result::value;
  7.                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
  8. mich.cpp:171:37: note: in instantiation of function template specialization 'Fibin<int, true>::eval<Let<1325242930, Lit<Fib<9> >, Let<16, Lambda<34, Sum<Ref<1325242930>, Ref<34> > >, Let<1325242930,
  9.      Lit<Fib<10> >, Invoke<Ref<16>, Lit<Fib<0> > > > > > >' requested here
  10.     static_assert(34 == Fibin<int>::eval<Scoping>());
  11.                                     ^
  12. mich.cpp:171:25: error: static_assert expression is not an integral constant expression
  13.     static_assert(34 == Fibin<int>::eval<Scoping>());
  14.                   ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
  15. In file included from mich.cpp:3:
  16. ./fibin.h:272:62: error: no member named 'value' in 'Invoke<Let<34, Lit<Fib<1> >, Lambda<34, Ref<34> > >, Lit<Fib<3> > >'
  17.         return (T) Evaluate<Expr, EmptyEnvironment>::result::value;
  18.                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
  19. mich.cpp:173:37: note: in instantiation of function template specialization 'Fibin<unsigned int, true>::eval<Invoke<Let<34, Lit<Fib<1> >, Lambda<34, Ref<34> > >, Lit<Fib<3> > > >' requested here
  20.     static_assert(2 == Fibin<uint>::eval<Invoke<Let<Var("x"), Lit<Fib<1>>, Lambda<Var("x"), Ref<Var("x")> > >, Lit<Fib<3>> > >());
  21.                                     ^
  22. mich.cpp:173:24: error: static_assert expression is not an integral constant expression
  23.     static_assert(2 == Fibin<uint>::eval<Invoke<Let<Var("x"), Lit<Fib<1>>, Lambda<Var("x"), Ref<Var("x")> > >, Lit<Fib<3>> > >());
  24.                   ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  25. In file included from mich.cpp:3:
  26. ./fibin.h:243:116: error: no type named 'result' in 'Evaluate<Eq<Lambda<34, Ref<34> >, Lambda<34, Ref<34> > >, Environment<16, Lambda<34, Ref<34> >, EmptyEnvironment> >'
  27.     typename Evaluate<Eq<typename Evaluate<LeftVal, Env>::result, typename Evaluate<RightVal, Env>::result>, Env>::result typedef result;
  28.     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~
  29. ./fibin.h:243:14: note: in instantiation of template class 'Evaluate<Eq<Lambda<34, Ref<34> >, Lambda<34, Ref<34> > >, Environment<16, Lambda<34, Ref<34> >, EmptyEnvironment> >' requested here
  30.     typename Evaluate<Eq<typename Evaluate<LeftVal, Env>::result, typename Evaluate<RightVal, Env>::result>, Env>::result typedef result;
  31.              ^
  32. ./fibin.h:233:35: note: in instantiation of template class 'Evaluate<Eq<Ref<16>, Ref<16> >, Environment<16, Lambda<34, Ref<34> >, EmptyEnvironment> >' requested here
  33.     typename Evaluate<If<typename Evaluate<Condition, Env>::result, Then, Else>, Env>::result typedef result;
  34.                                   ^
  35. ./fibin.h:238:14: note: in instantiation of template class 'Evaluate<If<Eq<Ref<16>, Ref<16> >, Lit<Fib<10> >, Lit<Fib<11> > >, Environment<16, Lambda<34, Ref<34> >, EmptyEnvironment> >' requested here
  36.     typename Evaluate<Expression, Environment<Variable, typename Evaluate<Value,Env>::result, Env> >::result typedef result;
  37.              ^
  38. ./fibin.h:272:20: note: in instantiation of template class 'Evaluate<Let<16, Lambda<34, Ref<34> >, If<Eq<Ref<16>, Ref<16> >, Lit<Fib<10> >, Lit<Fib<11> > > >, EmptyEnvironment>' requested here
  39.         return (T) Evaluate<Expr, EmptyEnvironment>::result::value;
  40.                    ^
  41. mich.cpp:191:29: note: in instantiation of function template specialization 'Fibin<int, true>::eval<Let<16, Lambda<34, Ref<34> >, If<Eq<Ref<16>, Ref<16> >, Lit<Fib<10> >, Lit<Fib<11> > > > >' requested
  42.       here
  43.     static_assert(55 == FB::eval<FunctionComparison>());
  44.                             ^
  45. mich.cpp:191:25: error: static_assert expression is not an integral constant expression
  46.     static_assert(55 == FB::eval<FunctionComparison>());
  47.                   ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  48. In file included from mich.cpp:3:
  49. ./fibin.h:272:62: error: no member named 'value' in 'Invoke<Invoke<Lambda<16, Invoke<Lambda<34, Invoke<Ref<34>, Ref<34> > >, Lambda<34, Invoke<Ref<16>, Lambda<11281729, Invoke<Invoke<Ref<34>, Ref<34> >,
  50.      Ref<11281729> > > > > > >, Lambda<16, Lambda<24, If<Eq<Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >,
  51.      Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Lit<Fib<1> > > > > > > > > > > > >, Ref<24> >, Ref<24>, Sum<Ref<24>, Invoke<Ref<16>, Sum<Ref<24>, Lit<Fib<3> > > > > > > > >, Lit<Fib<1> > >'
  52.         return (T) Evaluate<Expr, EmptyEnvironment>::result::value;
  53.                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
  54. mich.cpp:219:30: note: in instantiation of function template specialization 'Fibin<unsigned long long, true>::eval<Invoke<Invoke<Lambda<16, Invoke<Lambda<34, Invoke<Ref<34>, Ref<34> > >, Lambda<34,
  55.      Invoke<Ref<16>, Lambda<11281729, Invoke<Invoke<Ref<34>, Ref<34> >, Ref<11281729> > > > > > >, Lambda<16, Lambda<24, If<Eq<Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >,
  56.      Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Lit<Fib<1> > > > > > > > > > > > >, Ref<24> >, Ref<24>, Sum<Ref<24>,
  57.      Invoke<Ref<16>, Sum<Ref<24>, Lit<Fib<3> > > > > > > > >, Lit<Fib<1> > > >' requested here
  58.             Fibin<uint64_t>::eval<Invoke<
  59.                              ^
  60. mich.cpp:219:13: error: static_assert expression is not an integral constant expression
  61.             Fibin<uint64_t>::eval<Invoke<
  62.             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  63. In file included from mich.cpp:3:
  64. ./fibin.h:272:62: error: no member named 'value' in 'Invoke<Invoke<Lambda<16, Invoke<Lambda<34, Invoke<Ref<34>, Ref<34> > >, Lambda<34, Invoke<Ref<16>, Lambda<11281729, Invoke<Invoke<Ref<34>, Ref<34> >,
  65.      Ref<11281729> > > > > > >, Lambda<16, Lambda<24, If<Eq<Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >,
  66.      Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >,
  67.      Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Lit<Fib<5> > > > > > > > > > > > > > > > > > > > > > > > > > >, Ref<24> >, Ref<24>,
  68.      Sum<Ref<24>, Invoke<Ref<16>, Sum<Ref<24>, Lit<Fib<3> > > > > > > > >, Lit<Fib<1> > >'
  69.         return (T) Evaluate<Expr, EmptyEnvironment>::result::value;
  70.                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
  71. mich.cpp:225:30: note: in instantiation of function template specialization 'Fibin<unsigned long long, true>::eval<Invoke<Invoke<Lambda<16, Invoke<Lambda<34, Invoke<Ref<34>, Ref<34> > >, Lambda<34,
  72.      Invoke<Ref<16>, Lambda<11281729, Invoke<Invoke<Ref<34>, Ref<34> >, Ref<11281729> > > > > > >, Lambda<16, Lambda<24, If<Eq<Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >,
  73.      Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >,
  74.      Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Sum<Lit<Fib<6> >, Lit<Fib<5> > > > >
  75.      > > > > > > > > > > > > > > > > > > > > > >, Ref<24> >, Ref<24>, Sum<Ref<24>, Invoke<Ref<16>, Sum<Ref<24>, Lit<Fib<3> > > > > > > > >, Lit<Fib<1> > > >' requested here
  76.             Fibin<uint64_t>::eval<Invoke<
  77.                              ^
  78. mich.cpp:225:13: error: static_assert expression is not an integral constant expression
  79.             Fibin<uint64_t>::eval<Invoke<
  80.             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  81. 11 errors generated.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!