Support modules with self references and reserved names

dafny-lang · Oct 11, 2024 · 3f4037b · 3f4037b
1 parent 961fe06
commit 3f4037b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyCore/Backends/GoLang/GoCodeGenerator.cs b/Source/DafnyCore/Backends/GoLang/GoCodeGenerator.cs
@@ -2707,7 +2707,7 @@ private string UserDefinedTypeName(UserDefinedType udt, bool full, MemberDecl/*?
     private string UserDefinedTypeName(TopLevelDecl cl, bool full, MemberDecl/*?*/ member = null) {
       string enclosingModuleDefinitionId;
       if (CurrentModule == cl.EnclosingModuleDefinition || cl.EnclosingModuleDefinition.IsDefaultModule) {
-        enclosingModuleDefinitionId = cl.EnclosingModuleDefinition.GetCompileName(Options);
+        enclosingModuleDefinitionId = PublicModuleIdProtect(cl.EnclosingModuleDefinition.GetCompileName(Options));
       } else {
         enclosingModuleDefinitionId = ModuleImports[cl.EnclosingModuleDefinition].Name;
       }