On 20 Mar 2007 17:04:56 -0500, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
That defered parsing might work with C (I don't really know), but it certainly is problematic with C++ because there are bindings that need to be in overload sets, and you cannot accurately capture those if you don't parse the function bodies. Sadly.
What if you were able to "roll back" name lookup, so that it was able to resolve names as if it were at an earlier point in the translation unit? If one were to, say, annotate declarations with their position in the translation unit (line and column number, in the trivial case), and then modify name lookup so that we could say, "find the name foo as if we were looking from line number 50, column 3," it might be possible to parse function bodies later on. It seems feasible in principle; making it work is an entirely different matter. Cheers, Doug