[boost] Trouble compiling divides.hpp in metamath

From: Chris Weed (chrisweed_at_[hidden])
Date: 2005-08-24 21:08:25

Hi,
I can't get this to compile.

#include "boost/metamath/double.hpp"
#include "boost/metamath/double_macros.hpp"
#include "boost/mpl/apply.hpp"
#include "boost/metamath/double/divides.hpp"

int main()
{
  typedef BOOST_DOUBLE(3.3f) xt;
  typedef BOOST_DOUBLE(2.2f) yt;
  typedef boost::metamath::detail::divides_double_double<xt,yt>::type zt;
  zt z;
  return 0;
};

The header file seems to have a macro problem.

Here is the error message in g++ 3.4.2 in Linux:

In file included from ../boost/metamath/double_macros.hpp:8,
                 from fail.cpp:2:
../boost/metamath/double/double_macros.hpp:140:8: warning: extra
tokens at end of #endif directive
In file included from ../boost/metamath/double/divides.hpp:13,
                 from fail.cpp:4:
../boost/metamath/double/limits.hpp:58:7: warning: no newline at end of file
In file included from fail.cpp:4:
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
In file included from fail.cpp:4:
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:70: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:71: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does
not give a valid preprocessing token
../boost/metamath/double/divides.hpp:72: error: expected `;' before
numeric constant
../boost/metamath/double/divides.hpp:73: error: `result311' was not
declared in this scope
../boost/metamath/double/divides.hpp:74: error: `result312' was not
declared in this scope
../boost/metamath/double/divides.hpp:78: error: non-constant
`<expression error>' cannot be used as template argument
../boost/metamath/double/divides.hpp:78: error: non-constant
`<expression error>' cannot be used as template argument
../boost/metamath/double/divides.hpp:78: error: template argument 1 is invalid
../boost/metamath/double/divides.hpp:78: error: `type' does not name a type
../boost/metamath/double/divides.hpp:265:47: warning: no newline at end of file
../boost/metamath/double/divides.hpp: In instantiation of
`boost::metamath::detail::divides_double_double<main()::xt,
main()::yt>':
fail.cpp:10:   instantiated from here
../boost/metamath/double/divides.hpp:208: error: no type named `type'
in `struct boost::mpl::apply2<boost::metamath::detail::divides_double_double_impl<double,
double>, main()::xt, main()::yt>'
fail.cpp: In function `int main()':
fail.cpp:10: error: expected init-declarator before "zt"
fail.cpp:10: error: expected `,' or `;' before "zt"
fail.cpp:11: error: `zt' undeclared (first use this function)
fail.cpp:11: error: (Each undeclared identifier is reported only once
for each function it appears in.)
fail.cpp:11: error: expected `;' before "z"

Thanks,
Chris