Infer correct synthetic name for nested modules

engine/runtime/src/main/scala/org/enso/compiler/PackageRepository.scala

@@ -391,11 +391,12 @@ object PackageRepository {
               s"""|import $modName
                   |export $modName
                   |""".stripMargin
-            (
-              QualifiedName(namespace :: name :: parts, lastModuleName),
+            val syntheticModuleInfo = (
+              QualifiedName(namespace :: name :: parts.reverse, lastModuleName),
               QualifiedName(namespace :: name :: pathElems, exportItem),
               modSource
-            ) :: listAllIntermediateModules(
+            )
+            syntheticModuleInfo :: listAllIntermediateModules(
               namespace,
               name,
               parts,

engine/runtime/src/test/resources/Test_Deeply_Nested_Modules/package.yaml

@@ -0,0 +1,6 @@
+name: Test_Deeply_Nested_Modules
+license: APLv2
+enso-version: default
+version: "0.0.1"
+author: "Enso Team <[email protected]>"
+maintainer: "Enso Team <[email protected]>"

engine/runtime/src/test/resources/Test_Deeply_Nested_Modules/src/A.enso

@@ -0,0 +1 @@
+type Foo_A

engine/runtime/src/test/resources/Test_Deeply_Nested_Modules/src/A/A_Mod.enso

@@ -0,0 +1,2 @@
+type A_Mod
+    Value a

engine/runtime/src/test/resources/Test_Deeply_Nested_Modules/src/A/B.enso

@@ -0,0 +1 @@
+type Foo_B

engine/runtime/src/test/resources/Test_Deeply_Nested_Modules/src/A/B/B_Mod.enso

@@ -0,0 +1,2 @@
+type B_Mod
+    Value a

engine/runtime/src/test/resources/Test_Deeply_Nested_Modules/src/A/B/C/C_Mod.enso

@@ -0,0 +1,2 @@
+type C_Mod
+    Value a

engine/runtime/src/test/resources/Test_Deeply_Nested_Modules/src/A/B/C/D/D_Mod.enso

@@ -0,0 +1,2 @@
+type D_Mod
+    Value a

engine/runtime/src/test/resources/Test_Deeply_Nested_Modules/src/Main.enso

@@ -0,0 +1,11 @@
+from Standard.Base import all
+
+import project.A.A_Mod
+import project.A.B.B_Mod
+import project.A.B
+
+main =
+    IO.println (A_Mod.A_Mod.Value 1)
+    IO.println (B.C.C_Mod.C_Mod.Value 1)
+    IO.println (B.C.D.D_Mod.D_Mod.Value 1)
+    0

engine/runtime/src/test/scala/org/enso/interpreter/test/semantic/ImportsTest.scala

@@ -191,4 +191,15 @@ class ImportsTest extends PackageTest {
     ) shouldEqual "Main.enso[2:1-2:57]: The exported type `Atom` in `local.Test_Fully_Qualified_Name_Conflict.Atom` module will cause name conflict when attempting to use a fully qualified name of the `local.Test_Fully_Qualified_Name_Conflict.Atom.Foo` module."
   }
 
+  "Deeply nested modules" should "infer correct synthetic modules" in {
+    evalTestProject(
+      "Test_Deeply_Nested_Modules"
+    ).toString shouldEqual "0"
+    val outLines = consumeOut
+    outLines should have length 3
+    outLines(0) shouldEqual "(A_Mod.Value 1)"
+    outLines(1) shouldEqual "(C_Mod.Value 1)"
+    outLines(2) shouldEqual "(D_Mod.Value 1)"
+  }
+
 }