OK, thanks for the tests so far. What we can see is that operator T() 
caused the ICE (as I suspected), but now we need to find out what 
exactly the problems with the current version is. It seems to me that 
the VC7.1 has problems deducing template template parameters. Could the 
interested folks please test whether is_constant works as expected? It's 
AFAICS the basic requirement for anything else to work. The next step is 
to test whether it's a problem for the VC to deduce parameters from base 
classes. Here's some code to illustrate the idea:

template< typename T >  class V {};

template< template<typename>  class T > struct B {};
struct D : B<V>  {};

template< typename T > 
void f( const B<V> & ) {}

int main()
{
    D d;
    f( d );
}

Regards, Daniel


_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost