This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [c++-concepts]: constraint association
- From: Andrew Sutton <andrew dot n dot sutton at gmail dot com>
- To: Gabriel Dos Reis <gdr at axiomatics dot org>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Sat, 22 Jun 2013 18:04:01 -0500
- Subject: Re: [c++-concepts]: constraint association
- References: <CANq5SyuYuaXwGBZd+rCo34QRsL8q97Q222tCMCJ9tog8vycL-g at mail dot gmail dot com> <CAAiZkiBurK7LwVnQm7bQt7=9Abx-ZUXgCUoBBgqDdiqbYWqMGg at mail dot gmail dot com> <CANq5SyvftTCef53d2w-zoMcZZBPu5dGhC9ftXaZt1Kn0d3D__w at mail dot gmail dot com> <87ppvejcj7 dot fsf at euclid dot axiomatics dot org> <CAAiZkiDROXQ3Rv0ueAAaSprk7u93hzJ3fvaVWZgdwr-qt_b_Nw at mail dot gmail dot com> <CANq5Syv1W-+YerzhffpXyrSuuoJ+GCAt3WQiq4ADmvMe+cC6RQ at mail dot gmail dot com> <87sj0ayp9a dot fsf at euclid dot axiomatics dot org> <CANq5SyscVUPhHnFh=-fuqRBCmgJ+51T8ihT+eeT_Lt45qpWo8A at mail dot gmail dot com> <87obaxzrdc dot fsf at euclid dot axiomatics dot org>
> | But, I don't think we have a single TEMPLATE_PARM_DECL node. Template
> | parameters are either TYPE_DECLs or PARM_DECLs. I think auto
> | declarations, get VAR_DECLs, but I haven't looked closely at that
> | design. I'd have to look to see if there are any free tree slots all
> | of those decl nodes to minimize.
>
> The individual constraint for a template parameter should probably go
> with the TEMPLATE_PARM_INDEX which is the uniform representation of
> template parameters. But, the real cumulative constraints go with the
> TEMPLATE_DECLs. With Jason's patch that creates TEMPLATE_DECLs for
> partial instantiations, I believe we have all the bases covered.
I have to look through the template parameter creation code, but that
sounds about right.
Andrew