When compiling a program such as:

template <typename T>
void foo(T, typename T::type c) {c.y();}
struct x {typedef int type;};
void f() {foo(x(), 3);}

GCC 4.5.0 (correctly) produces the error message:

foo.cpp: In function ‘void foo(T, typename T::type) [with T = x, typename T::type = int]’:
foo.cpp:4:21:   instantiated from here
foo.cpp:2:34: error: request for member ‘y’ in ‘c’, which is of non-class type ‘x::type’

My feature request is to have the comma between "T = x" and "typename T::type = int" replaced by a semicolon. In larger programs, the types given in the error message often themselves contain commas, while they do not typically contain semicolons. Thus, this change would make the error messages easier to understand (and, in particular, to skim).

-- Jeremiah Willcock

Reply via email to