Re: Re: Synopsis roadmap

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' ?

Best regards (and a happy new year !),

		Stefan