Re: Re: Synopsis roadmap

David Abrahams wrote:

>>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 ;-)

Ok, 'partial' is the operational term here. I still don't understand the
involved issues well enough to know whether not doing *partial* specialization
is such a difference. As it stands, right now I'm not doing type analysis, and
neither am I computing integral constants, both of which are required, and
seem to be quite a lot of work (and require insight I don't yet have).

So, anything that can help me (or the project) move forward would be very
much appreciated, whether that are references to useful literature, or
offers to do some actual design / coding.

Regards,
		Stefan