Will amend and commit tomorrow morning! Andrew Andrew Sutton
On Tue, Sep 10, 2013 at 7:54 PM, Gabriel Dos Reis <g...@axiomatics.org> wrote: > Andrew Sutton <andrew.n.sut...@gmail.com> writes: > > | I added a new macro to replace the use of TREE_TYPE to get > | constraints. It's called TEMPLATE_PARMS_CONSTRAINTS. Patch attached: > | > | 2013-09-10 Andrew Sutton <andrew.n.sut...@gmail.com> > | * gcc/cp/cp-tree.h (TEMPLATE_PARMS_CONSTRAINTS): New. > | * gcc/cp/parser.c (cp_parser_template_declaration_after_export), > | (cp_parser_type_parameter): Use TEMPLATE_PARMS_CONSTRAINTS. > | * gcc/cp/semantics.c (fixup_template_scope): Use > | TEMPLATE_PARMS_CONSTRAINTS. > > | +// Access template constraints associated with the template > | +// parameter lists. Template parameter constraints are stored in > | +// the TREE_TYPE of list. > > Hmm, we can have several levels of template parameter list. What about: > > // Logical constraints on the template parameters introduced at a > // given template parameter list level indicated by NODE. > > Patch OK with that change. > > Thanks, > > -- Gaby
