- The module name of the source file is now correctly added to the header comment (see `emitHeaderComment()`)
This commit is contained in:
Tristan B. Velloza Kildaire 2022-12-11 17:57:16 +02:00
parent 1f3bdd3279
commit fe7390caa0
1 changed files with 1 additions and 1 deletions

View File

@ -32,7 +32,7 @@ public final class DCodeEmitter : CodeEmitter
private void emitHeaderComment(string headerPhrase = "")
{
string moduleName = typeChecker.getModule().toString(); //TODO: Lookup actual module name (I was lazy)
string moduleName = typeChecker.getResolver().generateName(typeChecker.getModule(), typeChecker.getModule()); //TODO: Lookup actual module name (I was lazy)
string outputCFilename = file.name();
file.write(`