That's an awfully broad question.  I'm no expert in DMD, but I do dabble in the source code often.  

I'd start here:  The information there is old but still relevant.

This is my mental model and understanding

source code --> lexer.d --> tokesn
tokens --> parse.d --> expressions (see expression.d)
expressions --> expressionsem.d --> lowered expressions
lowered expressions --> e2ir --> intermediate representation (I'm awufully vauge on this)
After that it's in the backend, and that's pretty much a black box to me.

That, however, is a gross oversimplification.  If you want to browse the code that implements the semantic phase you'll want to look at any file of the form xxxsem.d (e.g. dsymbolsem.d, expressionsem.d, typesem.d).  For the task at hand, issue 16486, you'll probably find the fix somewhere in there, but don't quote me on that.  Search for functions with `resolve` in the name.  Though the fix may also reside in one of the `visit` methods of one of the visitors in those files.

Tracing with `printf` is your friend, which is why you see so many commented `printf` statements in the source code.  You should be able to print out almost anything with with the `toChars()` method (e.g. `printf("%s\n", whatever.toChars());`)


On Tuesday, April 9, 2019, 9:38:25 AM GMT+9, Stefanos Baziotis via dmd-internals <> wrote:

Hi, my name is Stefanos. As part of this [1] thread, I would like
to solve issue #16486 for GSoC.
A comment from Steven Schveighoffer on the issue:
"The issue is that the compiler doesn't replace the alias until AFTER

I don't know if this is the right place to ask, but could
someone help me with the understanding of semantic analysis in DMD?

Best regards,
Stefanos Baziotis


dmd-internals mailing list