This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [C++ PATCH]: Incomplete explicit args

From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
To: Jason Merrill <jason at redhat dot com>
Cc: Mark Mitchell <mark at codesourcery dot com>, Nathan Sidwell <nathan at codesourcery dot com>, Mark Mitchell <mitchell at codesourcery dot com>, gcc-patches at gcc dot gnu dot org
Date: 28 Jul 2003 21:40:30 +0200
Subject: Re: [C++ PATCH]: Incomplete explicit args
Organization: Integrable Solutions
References: <3F250693.3020401@codesourcery.com><1059408080.1631.162.camel@doubledemon.codesourcery.com><wvlispme9gb.fsf@prospero.boston.redhat.com>

Jason Merrill <jason@redhat.com> writes:

[...]

| I don't see how that passage suggests otherwise.  The preceding sentence
| does, however:
| 
| The resulting substituted and adjusted function type is used as the type of
| the function template for template argument deduction.
| 
| which to me means that when we see f<1>, we use "R<Trait<1,x>::m> f(A<x>)"
| in further deduction.  That seems pretty clear to me.

That also matches my reading.

-- Gaby

References:
- [C++ PATCH]: Incomplete explicit args
  - From: Nathan Sidwell
- Re: [C++ PATCH]: Incomplete explicit args
  - From: Mark Mitchell
- Re: [C++ PATCH]: Incomplete explicit args
  - From: Jason Merrill

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]