Karl Meerbergen
Hi Dave,
The documentation at http://www.boost.org/libs/mpl/doc/refmanual/vector.html says for pop_front<v>::type: A new vector of following elements: [next< begin<v>::type>::type,end<v>::type)
It suggests (in my opinion) that the result_type of pop_front is a vector.
It is a vector. A vector does not necessarily have to be a specialization of mpl::vector. Hmm, I think in this case "vector" should not be set in code font, though. Aleksey?
Should the documentation be clearer about this?
That's what the use of "concept-identical" in the reference manual is intended to convey. http://www.boost.org/libs/mpl/doc/refmanual/extensible-sequence.html Do you have a specific suggestion that should be used to clarify the docs? BTW, this point is also very clearly explained in "C++ Template Metaprogramming," in case you haven't read it. -- Dave Abrahams Boost Consulting www.boost-consulting.com