Problems with mpl::push_back

From: joaquintides (joaquin_at_[hidden])
Date: 2003-05-05 01:36:18

#include <boost/mpl/list.hpp>
#include <boost/mpl/push_back.hpp>

int main()
{
  typedef boost::mpl::list<> type0;
  typedef boost::mpl::push_back<type0,int>::type type1;
  typedef boost::mpl::push_back<type1,char>::type type2;

  return 0;
}

This fails in MSVC 6.5 and gcc 3.2. The error seems to indicate
that push_back does not provide a type named 'type'. If I replace
push_back with push_front, eveything works wonderfully.
Am I doing any gross error, is the documentation wrong, ideas,
clues? Thanx in advance.

Joaquín M López Muñoz
Telefónica, Investigación y Desarrollo