Hi, Experimenting with boost::result_of under VC7.1 and 8... --- template <typename T> struct A{ template <typename F> struct result; template struct result{ typedef U type; }; template U operator()(U const&,V const&) { return U(); } }; //typedef A<int>::result::type result_; typedef boost::result_of::type result; --- c:\boost\boost\utility\result_of.hpp(43) : error C2027: use of undefined type 'A<T>::result<F>' with [ T=int ] and [ F=A<int> (float,char) ] Am I actually using result_of correctly here, or have I misunderstood something? If the result_ typedef is uncommented then it behaves as I would expect. Is there a way to successfully use result_of like this with VC? Thanks, Richard.