Prototype matching bug

[Alexandre Oliva]

Rick Lerner writes:

> EGCS v1.0.1 generates the following error for the code below:

The error message is correct.  Even if you had declared method insert
as follows, which is required by the C++ Standard, because names from
template-parameter-dependent base classes are not found in name
lookup, this would still be invalid, because it is impossible to prove 
that, for every instantiation of Base<Value>, Base<Value>::value_type
is a synonym of Value.

>   void insert(typename Base<Value>::value_type& v);

-- 
Alexandre Oliva
mailto:oliva@dcc.unicamp.br mailto:aoliva@acm.org
http://www.dcc.unicamp.br/~oliva
Universidade Estadual de Campinas, SP, Brasil