Any AST experts n da house?

[Jacob Carlborg via Digitalmars-d]

On 2016-11-17 15:10, Andrei Alexandrescu wrote:
> Lucia is working on https://issues.dlang.org/show_bug.cgi?id=16683 which
> shows good promise in cleaning the cobwebs around Typeinfo. She looked
> into matters and figured she needs to have TypeidExp.semantic() return
> the lowered expression. In the code below
>
> getFuncTemplateDecl(tidSymbol); // returns nil
>
> and the compiler crashes when it hits this line.
>
> //  extern (C++) final class TypeidExp : Expression @ dmd-> expression.d
>
>  override Expression semantic(Scope* sc)
>     {
>         auto tidIdentifierExp = new IdentifierExp(loc, new
> Identifier("__typeidImplT"));
>         auto tidSymbol = new Dsymbol(new Identifier("__typeidImplT"));
>
>         auto tidDeclaration = getFuncTemplateDecl(tidSymbol);
>         auto tidExp = new TemplateExp(loc, tidDeclaration);
>         auto callExp = new CallExp(loc, tidExp);
>
>         return callExp;
>     }
>
> Any help would be appreciated.

Not related to the actual question. Instead of explicitly creating a new 
identifier, use Identifier.idPool [1], which will reuse any existing 
identifier or create a new one if necessary.

[1] https://github.com/dlang/dmd/blob/master/src/identifier.d#L141

-- 
/Jacob Carlborg