[Synopsis-devel] Re: Synopsis roadmap

[David Abrahams]

Stefan Seefeld <stefan at fresco.org> writes:

> David Abrahams wrote:
>
>>>Adding productions to accept the syntax is (almost) straight forward,
>>>but doing even the least bit of semantic analysis is not.
>> I don't think any semantic analysis is needed.  But maybe you're
>> calling some things semantic analysis that I am not?
>
> [...]
>
>> What does it mean to not "have" real partial template specialization
>> in a parser?  Or overload resolution, for that matter?  (Partial)
>> specialization support in a parser is just a matter of being able to
>> eat the syntax.  Overload resolution is a semantic analysis issue.
>> No?
>
> As I'm working my way through the boost headers (with the synopsis
> parser, of course), I'm reminded that I do need at least some type
> analysis: I need to be able to do non-dependent symbol lookup in the
> presence of template specializations.
> I haven't really looked into the topic yet, but I would expect it to
> be comparably complex to overload resolution, i.e. with the evaluation
> of multiple conversion paths etc.
>
> Am I missing something here ? Or would you not call this 'semantic analysis' ?

Yes, I would call it semantic analysis.  I just wouldn't think of it
as part of partial specialization support ;-)

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com