>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> This sounds like some sort of C++ incompatibility. The simplest fix
> is to remove those symbols. I installed the following patch in an
> attempt to accomplish this. Perhaps a C++ expert could do better.
The change you made is not really a problem, but it raises an issue:
as of today, I don't believe we ought to fight against bugs in C++
compilers. The code we produce is compliant with a (pretty-)well
defined standard.
> /// Abstract a position.
> class position
> {
> - public:
> - /// Initial column number.
> - static const unsigned int initial_column = 0;
> - /// Initial line number.
> - static const unsigned int initial_line = 1;
> -
> /** \name Ctor & dtor.
> ** \{ */
> public:
> /// Construct a position.
> position () :
> filename (0),
> - line (initial_line),
> - column (initial_column)
> + line (1),
> + column (0)
> {
> }
Alternatively, these guys could have been declared here, and
instantiated in the *.cc file. Butt that's less pleasing, since they
are "less" self-contained.
