I ran into a bizarre problem trying to build a variant from an MPL vector. The compilation of make_variant_over seems to fail when given any vector which a) uses all its template arguments, and b) contains *only* user-defined types; ones with at least one built-in type work fine! The problem occurs at least with gcc 3.3.5 and gcc 3.4.4 20050203 prerelease, on Debian unstable/x86. The following code demonstrates the problem: //////////////////////////////////////////////////////////////////////// #include #include #include <cstdio> // a template for generating dummy types template <int i> struct d { }; typedef boost::mpl::vector < d<0>, d<1>, d<2>, d<3>, d<4>, d<5>, d<6>, d<7>, d<8>, d<9> > vector; boost::make_variant_over<vector>::type v; //////////////////////////////////////////////////////////////////////// The same thing happens with vector10 and others, but lists do seem to work correctly, providing a work-around. Swapping any built-in type for any of the d<>'s makes the code above to compile cleanly. I can post the complete compiler error output if you like, but there's rather much of it :p -Johannes