Boost C++ Libraries: Ticket #5414: Errors compiling a piece of fusion with phoenix. Pheonix bug?

attachment set

joe@… — Mon, 04 Apr 2011 03:34:44 GMT

attachment → dot_product_bug.cpp

Source

attachment set

joe@… — Mon, 04 Apr 2011 03:35:34 GMT

attachment → log.txt

Compilation output.

Joel de Guzman — Mon, 04 Apr 2011 06:06:20 GMT

I suggest you use Phoenix-3 instead. See Ticket #5480. I am confident that this is no longer an issue. Please do so and tell us your experience so we can close both tickets. If it is still a problem, then let's move this tickets to Phoenix.

Thomas Heller — Mon, 04 Apr 2011 06:29:08 GMT

This testcase is working with V3 (minor modifications for the nested result template needed)

status, component, version changed; cc, resolution set

Thomas Heller — Mon, 04 Apr 2011 17:24:51 GMT

cc thom.heller@… added
resolution → fixed
status new → closed
component spirit → phoenix
version Boost 1.47.0 → Boost Development Trunk

joe@… — Tue, 05 Apr 2011 09:08:32 GMT

What are those minor modifications?

Can you tell me what's wrong with this please? (It works for pheonix 2)

	template <typename V1, typename V2>
	struct result
	{
		// Presume that the return type is the type of the first element
		// of the first sequence argument.
		typedef typename boost::fusion::result_of::value_at<V1, boost::mpl::int_<0> >::type type;
	};

joe@… — Tue, 05 Apr 2011 09:17:21 GMT

For the record

https://svn.boost.org/svn/boost/trunk/libs/phoenix/example/function.cpp is wrong then?

linked to from the lazy function docs

https://svn.boost.org/svn/boost/trunk/libs/phoenix/doc/html/phoenix/starter_kit/lazy_functions.html

It's wrong then? :)

joe@… — Tue, 05 Apr 2011 10:07:03 GMT

Still trying to get this result struct working. What's wrong with this then?

struct vector_dot_product_impl {
	template<typename V1, typename V2>
	struct result;
	template <typename This, typename V1, typename V2>
	struct result<This(V1, V2)>
	{
		// Presume that the return type is the type of the first element
		// of the first sequence argument.
		typedef typename boost::fusion::result_of::value_at<V1, boost::mpl::int_<0> >::type type;
	};
	template <typename V1, typename V2>
	typename result<V1, V2>::type operator()(V1 v1, V2 v2) const
	{
		using boost::phoenix::arg_names::_1;
		using boost::phoenix::arg_names::_2;
		using boost::fusion::fold;
		using boost::fusion::transform;
		return fold(transform(v1, v2, _1 * _2), 0.0, _1 + _2);
	}
};

Thanks!

anonymous — Tue, 05 Apr 2011 10:35:18 GMT

It's ok. I've sussed it out. It has to be

        template<typename Sig>
        struct result;

not

        template<typename V1, typename V2>
        struct result;
]}}

version, milestone changed

Thomas Heller — Wed, 13 Jul 2011 07:54:32 GMT

version Boost Development Trunk → Boost 1.46.0
milestone To Be Determined → Boost 1.48.0