Yuval Ronen writes:

David Abrahams wrote:

...

Yuval Ronen writes:

...

Is there a meta-function that creates a tuple type which contains the types contained in a type-sequence? (I'm talking about a similar thing to variant's make_variant_over).

You should look into the Fusion library (part of Spirit today), which contains exactly such a function, called "generate."

Is the Fusion code part of Boost right now, or will be added in a later version?

It's part of Boost right now. -- Dave Abrahams Boost Consulting www.boost-consulting.com