Re: [Boost-users] [mpl] newbie question

"Andy Little" writes:

Maybe it could be changed to (something like)

Return type: integral_c< typeof(c1::value + c2::value) , ( c1::value + c2::value ) > c;

This would guarantee that is_same can be used on the result. Currently I cant assume that.

You seem to have a deep misunderstanding of the problem. is_same< int_<3>, integral_c >::value is false. They are different types. -- Dave Abrahams Boost Consulting www.boost-consulting.com