--- boost_1_41_0/boost/utility/detail/result_of_iterate.hpp	2010-04-01 14:07:55.000000000 +0100
+++ boost_1_41_0/boost/utility/detail/result_of_iterate.hpp	2010-04-01 14:24:39.000000000 +0100
@@ -24,6 +24,23 @@
     : boost::detail::result_of_impl<F, F(BOOST_RESULT_OF_ARGS), (boost::detail::has_result_type<F>::value)> {};
 #endif
 
+namespace detail {
+
+template<typename F BOOST_PP_COMMA_IF(BOOST_PP_ITERATION())
+         BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),typename T)>
+struct make_tuple_from_function_args<F(BOOST_RESULT_OF_ARGS)>
+{
+   #define BOOST_PP_IDENTITY_REPEAT_TEXT(z, n, t) t
+   typedef tuples::cons<F
+           BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(), tuples::cons<T)
+           , tuples::null_type>
+           BOOST_PP_REPEAT(BOOST_PP_ITERATION(), BOOST_PP_IDENTITY_REPEAT_TEXT, >)
+           tuple;
+   #undef  BOOST_PP_IDENTITY_REPEAT_TEXT
+};
+
+}
+
 #undef BOOST_RESULT_OF_ARGS
 
 #if BOOST_PP_ITERATION() >= 1 
--- boost_1_41_0/boost/utility/result_of.hpp	2010-04-01 14:04:18.000000000 +0100
+++ boost_1_41_0/boost/utility/result_of.hpp	2010-04-01 14:30:09.000000000 +0100
@@ -26,11 +26,26 @@
 
 template<typename F> struct result_of;
 
+namespace tuples { template <typename H, typename T> struct cons; struct null_type; }
+
 #if !defined(BOOST_NO_SFINAE) && !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
 namespace detail {
 
 BOOST_MPL_HAS_XXX_TRAIT_DEF(result_type)
 
+// This sig template determination may not work on all compilers.
+// I have tried only with GCC 4 and VC9.
+template <template <class> class> struct nested_sig_template_test {};
+template <class T>
+struct has_nested_sig_template
+{
+   template <typename U>
+   static char test( U const volatile*, nested_sig_template_test<U::template sig>* = 0 );
+   static long test( ... );
+
+   BOOST_STATIC_CONSTANT( bool, value = sizeof test( static_cast<T*>(0) ) == sizeof(char) );
+};
+
 template<typename F, typename FArgs, bool HasResultType> struct result_of_impl;
 
 template<typename F>
@@ -67,11 +82,22 @@
 struct result_of_nested_result : F::template result<FArgs>
 {};
 
+template<typename F> struct make_tuple_from_function_args;
+
+template<typename F, typename FArgs>
+struct result_of_nested_sig : F::template sig<typename make_tuple_from_function_args<FArgs>::tuple>
+{
+};
+
 template<typename F, typename FArgs>
 struct result_of_impl<F, FArgs, false>
   : mpl::if_<is_function_with_no_args<FArgs>,
              result_of_void_impl<F>,
-             result_of_nested_result<F, FArgs> >::type
+             typename mpl::if_<has_nested_sig_template<F>,
+                      result_of_nested_sig<F, FArgs>,
+                      result_of_nested_result<F, FArgs>
+                     >::type
+            >::type
 {};
 
 } // end namespace detail