Compile [2024-11-20 04:52:40 UTC]: fail
call "C:\teeks99-09\run\results\boost\bin.v2\standalone\msvc\msvc-14.1\msvc-setup.bat" >nul
cl /Zm800 -nologo "..\libs\hana\test\foldable\fold_left_mcd\monad_plus.cpp" -c -Fo"C:\teeks99-09\run\results\boost\bin.v2\libs\hana\test\test~foldable~fold_left_mcd~monad_plus.test\msvc-14.1\dbg\x86_6\dbg-symbl-off\thrd-mlt\foldable\fold_left_mcd\monad_plus.obj" -TP /wd4675 /EHs /GR /Zc:throwingNew /Od /Ob0 /W3 /MDd /Zc:forScope /Zc:wchar_t /Zc:inline /favor:blend -DBOOST_ALL_NO_LIB=1 -DBOOST_COBALT_USE_STD_PMR=1 "-I.." "-I..\libs\hana\include" "-I..\libs\hana\test\_include"
monad_plus.cpp
..\boost/hana/eval_if.hpp(60): error C2446: ':': no conversion from 'const boost::hana::integral_constant<bool,false>' to 'const boost::hana::integral_constant<bool,true>'
..\boost/hana/eval_if.hpp(60): note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
..\boost/hana/eval_if.hpp(42): note: see reference to function template instantiation 'auto boost::hana::eval_if_impl<L,boost::hana::when<true>>::apply<Cond,Then,Else>(const Cond &,T &&,E &&)' being compiled
with
[
L=bool,
Cond=bool,
Then=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>,
Else=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>,
T=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>,
E=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>
]
..\boost/hana/if.hpp(56): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_t::operator ()<C,boost::hana::detail::hold<T>,boost::hana::detail::hold<E>>(Cond &&,Then &&,Else &&) const' being compiled
with
[
C=bool,
T=const boost::hana::integral_constant<bool,true> &,
E=const boost::hana::integral_constant<bool,false> &,
Cond=bool,
Then=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>,
Else=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>
]
..\boost/hana/if.hpp(37): note: see reference to function template instantiation 'auto boost::hana::if_impl<L,boost::hana::when<true>>::apply<Cond,const boost::hana::integral_constant<bool,true>&,const boost::hana::integral_constant<bool,false>&>(C &&,T,E)' being compiled
with
[
L=Bool,
Cond=bool,
C=bool,
T=const boost::hana::integral_constant<bool,true> &,
E=const boost::hana::integral_constant<bool,false> &
]
..\boost/hana/equal.hpp(144): note: see reference to function template instantiation 'decltype(auto) boost::hana::if_t::operator ()<bool,const boost::hana::integral_constant<bool,true>&,const boost::hana::integral_constant<bool,false>&>(Cond &&,Then,Else) const' being compiled
with
[
Cond=bool,
Then=const boost::hana::integral_constant<bool,true> &,
Else=const boost::hana::integral_constant<bool,false> &
]
..\boost/hana/equal.hpp(175): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply<0>(boost::hana::false_,boost::hana::true_) const' being compiled
with
[
Xs=seq_type<boost::hana::tuple<int>>,
Ys=seq_type<boost::hana::tuple<int>>
]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<T,U,boost::hana::when<true>>::apply<X,Y>(const Xs &,const Ys &)' being compiled
with
[
T=T,
U=U,
X=seq_type<boost::hana::tuple<int>>,
Y=seq_type<boost::hana::tuple<int>>,
Xs=seq_type<boost::hana::tuple<int>>,
Ys=seq_type<boost::hana::tuple<int>>
]
..\libs\hana\test\_include\laws/monad_plus.hpp(183): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<seq_type<boost::hana::tuple<int>>,seq_type<boost::hana::tuple<int>>>(X &&,Y &&) const' being compiled
with
[
X=seq_type<boost::hana::tuple<int>>,
Y=seq_type<boost::hana::tuple<int>>
]
..\libs\hana\test\_include\laws/templates/seq.hpp(123): note: see reference to function template instantiation 'boost::hana::test::TestMonadPlus<Seq,boost::hana::when<true>>::TestMonadPlus<boost::hana::tuple<seq_type<boost::hana::tuple<>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<3>>>>,boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<0>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<3>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<10>>,boost::hana::_always<boost::hana::integral_constant<bool,true>>,boost::hana::_always<boost::hana::integral_constant<bool,false>>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<10>>>(Xs,Predicates,Values)' being compiled
with
[
Xs=boost::hana::tuple<seq_type<boost::hana::tuple<>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<3>>>>,
Predicates=boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<0>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<3>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<10>>,boost::hana::_always<boost::hana::integral_constant<bool,true>>,boost::hana::_always<boost::hana::integral_constant<bool,false>>>,
Values=boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<10>>
]
..\libs\hana\test\_include\laws/templates/seq.hpp(123): note: see reference to function template instantiation 'boost::hana::test::TestMonadPlus<Seq,boost::hana::when<true>>::TestMonadPlus<boost::hana::tuple<seq_type<boost::hana::tuple<>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<3>>>>,boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<0>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<3>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<10>>,boost::hana::_always<boost::hana::integral_constant<bool,true>>,boost::hana::_always<boost::hana::integral_constant<bool,false>>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<10>>>(Xs,Predicates,Values)' being compiled
with
[
Xs=boost::hana::tuple<seq_type<boost::hana::tuple<>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<3>>>>,
Predicates=boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<0>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<3>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<10>>,boost::hana::_always<boost::hana::integral_constant<bool,true>>,boost::hana::_always<boost::hana::integral_constant<bool,false>>>,
Values=boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<10>>
]
..\boost/hana/equal.hpp(141): error C2664: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply<1>(boost::hana::false_,bool) const': cannot convert argument 1 from 'boost::hana::integral_constant<bool,true>' to 'boost::hana::false_'
with
[
Xs=seq_type<boost::hana::tuple<int>>,
Ys=seq_type<boost::hana::tuple<int>>
]
..\boost/hana/equal.hpp(145): note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
..\libs\hana\test\_include\laws/monad_plus.hpp(183): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(186): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(186): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(187): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(190): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(190): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/equal.hpp(141): error C2664: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply<1>(boost::hana::false_,bool) const': cannot convert argument 2 from 'void' to 'boost::hana::true_'
with
[
Xs=seq_type<boost::hana::tuple<int,char>>,
Ys=seq_type<boost::hana::tuple<int,char>>
]
..\boost/hana/equal.hpp(145): note: Expressions of type void cannot be converted to other types
..\boost/hana/equal.hpp(175): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply<0>(boost::hana::false_,boost::hana::true_) const' being compiled
with
[
Xs=seq_type<boost::hana::tuple<int,char>>,
Ys=seq_type<boost::hana::tuple<int,char>>
]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<T,U,boost::hana::when<true>>::apply<X,Y>(const Xs &,const Ys &)' being compiled
with
[
T=T,
U=U,
X=seq_type<boost::hana::tuple<int,char>>,
Y=seq_type<boost::hana::tuple<int,char>>,
Xs=seq_type<boost::hana::tuple<int,char>>,
Ys=seq_type<boost::hana::tuple<int,char>>
]
..\libs\hana\test\_include\laws/monad_plus.hpp(191): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<seq_type<boost::hana::tuple<int,char>>,seq_type<boost::hana::tuple<int,char>>>(X &&,Y &&) const' being compiled
with
[
X=seq_type<boost::hana::tuple<int,char>>,
Y=seq_type<boost::hana::tuple<int,char>>
]
..\libs\hana\test\_include\laws/monad_plus.hpp(191): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(194): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(194): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/equal.hpp(141): error C2664: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,3>::apply<1>(boost::hana::false_,bool) const': cannot convert argument 2 from 'void' to 'boost::hana::true_'
with
[
Xs=seq_type<boost::hana::tuple<int,char,double>>,
Ys=seq_type<boost::hana::tuple<int,char,double>>
]
..\boost/hana/equal.hpp(145): note: Expressions of type void cannot be converted to other types
..\boost/hana/equal.hpp(175): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,3>::apply<0>(boost::hana::false_,boost::hana::true_) const' being compiled
with
[
Xs=seq_type<boost::hana::tuple<int,char,double>>,
Ys=seq_type<boost::hana::tuple<int,char,double>>
]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<T,U,boost::hana::when<true>>::apply<X,Y>(const Xs &,const Ys &)' being compiled
with
[
T=T,
U=U,
X=seq_type<boost::hana::tuple<int,char,double>>,
Y=seq_type<boost::hana::tuple<int,char,double>>,
Xs=seq_type<boost::hana::tuple<int,char,double>>,
Ys=seq_type<boost::hana::tuple<int,char,double>>
]
..\libs\hana\test\_include\laws/monad_plus.hpp(195): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<seq_type<boost::hana::tuple<int,char,double>>,seq_type<boost::hana::tuple<int,char,double>>>(X &&,Y &&) const' being compiled
with
[
X=seq_type<boost::hana::tuple<int,char,double>>,
Y=seq_type<boost::hana::tuple<int,char,double>>
]
..\libs\hana\test\_include\laws/monad_plus.hpp(195): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(198): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(198): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(282): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(285): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(285): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(286): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(289): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(289): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(290): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(293): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(293): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(311): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(313): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(313): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(314): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(316): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(316): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(317): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(319): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(319): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/detail/algorithm.hpp(163): warning C4267: '=': conversion from 'size_t' to 'T', possible loss of data
with
[
T=int
]
..\boost/hana/detail/algorithm.hpp(169): note: see reference to function template instantiation 'T boost::hana::detail::accumulate<InputIt,T,boost::hana::placeholder_detail::plus>(InputIt,InputIt,T,F)' being compiled
with
[
T=int,
InputIt=const size_t *,
F=boost::hana::placeholder_detail::plus
]
..\boost/hana/detail/unpack_flatten.hpp(30): note: see reference to function template instantiation 'T boost::hana::detail::accumulate<const size_t*,int>(InputIt,InputIt,T)' being compiled
with
[
T=int,
InputIt=const size_t *
]
..\boost/hana/unpack.hpp(57): note: see reference to class template instantiation 'boost::hana::detail::flatten_indices<>' being compiled
..\boost/hana/unpack.hpp(47): note: see reference to function template instantiation 'decltype(auto) boost::hana::unpack_impl<T,boost::hana::when<true>>::apply<Xs&,F>(seq_type<boost::hana::tuple<>>&,F &&)' being compiled
with
[
T=Seq,
Xs=seq_type<boost::hana::tuple<>>,
F=boost::hana::detail::make_flatten_indices
]
..\boost/hana/detail/unpack_flatten.hpp(64): note: see reference to function template instantiation 'decltype(auto) boost::hana::unpack_t::operator ()<Xs&,boost::hana::detail::make_flatten_indices>(seq_type<boost::hana::tuple<>>&,F &&) const' being compiled
with
[
Xs=seq_type<boost::hana::tuple<>>,
F=boost::hana::detail::make_flatten_indices
]
..\boost/hana/flatten.hpp(57): note: see reference to function template instantiation 'decltype(auto) boost::hana::detail::unpack_flatten<Xs,const boost::hana::make_t<S>&>(Xs &&,F)' being compiled
with
[
Xs=seq_type<boost::hana::tuple<>>,
S=Seq,
F=const boost::hana::make_t<Seq> &
]
..\boost/hana/flatten.hpp(42): note: see reference to function template instantiation 'auto boost::hana::flatten_impl<M,boost::hana::when<true>>::apply<Xs>(Xs &&)' being compiled
with
[
M=Seq,
Xs=seq_type<boost::hana::tuple<>>
]
..\boost/hana/chain.hpp(45): note: see reference to function template instantiation 'auto boost::hana::flatten_t::operator ()<seq_type<boost::hana::tuple<>>>(Xs &&) const' being compiled
with
[
Xs=seq_type<boost::hana::tuple<>>
]
..\boost/hana/chain.hpp(36): note: see reference to function template instantiation 'auto boost::hana::chain_impl<M,boost::hana::when<true>>::apply<Xs,F>(Xs &&,F &&)' being compiled
with
[
M=Seq,
Xs=seq_type<boost::hana::tuple<>>,
F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::append_t,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>>>>
]
..\boost/hana/prefix.hpp(47): note: see reference to function template instantiation 'decltype(auto) boost::hana::chain_t::operator ()<Xs,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::append_t,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>>>>>(Xs &&,F &&) const' being compiled
with
[
Xs=seq_type<boost::hana::tuple<>>,
F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::append_t,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>>>>
]
..\boost/hana/prefix.hpp(38): note: see reference to function template instantiation 'decltype(auto) boost::hana::prefix_impl<M,boost::hana::when<true>>::apply<Xs,boost::hana::test::ct_eq<999>&>(Xs &&,Z)' being compiled
with
[
M=M,
Xs=seq_type<boost::hana::tuple<>>,
Z=boost::hana::test::ct_eq<999> &
]
..\libs\hana\test\_include\laws/monad_plus.hpp(559): note: see reference to function template instantiation 'auto boost::hana::prefix_t::operator ()<seq_type<boost::hana::tuple<>>,boost::hana::test::ct_eq<999>&>(Xs &&,Pref) const' being compiled
with
[
Xs=seq_type<boost::hana::tuple<>>,
Pref=boost::hana::test::ct_eq<999> &
]