
Boost : 
From: Chris Weed (chrisweed_at_[hidden])
Date: 20050824 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: nonconstant
`<expression error>' cannot be used as template argument
../boost/metamath/double/divides.hpp:78: error: nonconstant
`<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 initdeclarator 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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk