Add additional test for nested AutoOpen module in a namespace.

nojaf · nojaf · commit 9867c096812d · 2022-12-05T16:18:49.000-08:00
diff --git a/tests/ParallelTypeCheckingTests/Code/DependencyResolution.fs b/tests/ParallelTypeCheckingTests/Code/DependencyResolution.fs
@@ -1,6 +1,5 @@
 ﻿module ParallelTypeCheckingTests.DependencyResolution
 
-open System.Linq
 open FSharp.Compiler.Syntax
 open ParallelTypeCheckingTests
 
diff --git a/tests/ParallelTypeCheckingTests/Tests/Scenarios.fs b/tests/ParallelTypeCheckingTests/Tests/Scenarios.fs
@@ -520,6 +520,31 @@ module Library
 
 open X.Y
 
+let fn (a: A) = ()
+"""
+                    (set [| 0 |])
+            ]
+        scenario
+            "Nested AutoOpen module in namespace is accessed via namespace open"
+            [
+                sourceFile
+                    "Z.fs"
+                    """
+namespace X.Y
+
+[<AutoOpen>]
+module Z =
+
+    type A = { A: int }
+"""
+                    Set.empty
+                sourceFile
+                    "Library.fs"
+                    """
+module Library
+
+open X.Y
+
 let fn (a: A) = ()
 """
                     (set [| 0 |])
diff --git a/tests/ParallelTypeCheckingTests/Tests/TrieMappingTests.fs b/tests/ParallelTypeCheckingTests/Tests/TrieMappingTests.fs
@@ -246,3 +246,34 @@ type A = { A : int }
     Assert.AreEqual(set [| 0 |], yNode.Files)
     let zNode = yNode.Children.["Z"]
     Assert.AreEqual(set [| 0 |], zNode.Files)
+
+[<Test>]
+let ``Nested AutoOpen module in namespace will expose the file to the namespace node`` () =
+    let trie =
+        TrieMapping.mkTrie
+            [|
+                {
+                    Idx = 0
+                    File = "Z.fs"
+                    AST =
+                        parseSourceCode (
+                            "Z.fs",
+                            """
+namespace X.Y
+
+[<AutoOpen>]
+module Z =
+
+    type A = { A: int }
+"""
+                        )
+                }
+            |]
+
+    Assert.AreEqual(Set.empty, trie.Files)
+    let xNode = trie.Children.["X"]
+    Assert.AreEqual(Set.empty, xNode.Files)
+    let yNode = xNode.Children.["Y"]
+    Assert.AreEqual(set [| 0 |], yNode.Files)
+    let zNode = yNode.Children.["Z"]
+    Assert.AreEqual(set [| 0 |], zNode.Files)
