C++ bug: access to private typedefs

[Gerald Pfeifer]

Perhaps I'm just too tired now, but shouldn't the following code be
rejected as index_t is declared private in PREDICATE_NAMES?

  class PREDICATE_NAMES {C
    typedef unsigned index_t;
    };

  class ATOM {
    typedef PREDICATE_NAMES::index_t index_t;
    };

http://gcc.gnu.org/bugs.html#access talks about classes, but this is
a typedef, not a class. Should we just update the web page to mention
types as well?

Gerald
-- 
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/