Peter Schmid wrote:- > template <int N, char C> > class NumPromote< Int<N>, Char<C> > { > public: > typedef Int<N> val; > typedef Int<C> val1; > }; Nope, still fails for me. You have some lines missing. Neil.