WIP

safesparrow · safesparrow · commit 7ce5d00bf71a · 2022-10-18T00:02:05.000+01:00
diff --git a/tests/FSharp.Compiler.Service.Tests2/DepResolving.fs b/tests/FSharp.Compiler.Service.Tests2/DepResolving.fs
@@ -309,7 +309,8 @@ type B = int
 let Test () =
     log "start"
     let m = AnalyzerManager()
-    let projectFile = @"C:\projekty\fsharp\fsharp_main\src\Compiler\FSharp.Compiler.Service.fsproj"
+    //let projectFile = @"C:\projekty\fsharp\fsharp_main\src\Compiler\FSharp.Compiler.Service.fsproj"
+    let projectFile = @"C:\projekty\fsharp\heuristic\tests\FSharp.Compiler.ComponentTests\FSharp.Compiler.ComponentTests.fsproj"
     let analyzer = m.GetProject(projectFile)
     let results = analyzer.Build()
     log "built"
diff --git a/tests/FSharp.Compiler.Service.Tests2/TypeTests.fs b/tests/FSharp.Compiler.Service.Tests2/TypeTests.fs
@@ -1034,6 +1034,16 @@ and visit (input : ParsedInput) =
         |> Seq.collect visitSynModuleOrNamespace
         |> Seq.toArray
 
+let mightHaveAutoOpen (synAttributeLists : SynAttributeList list) : bool =
+    let attributes =
+        synAttributeLists
+        |> List.collect (fun attributes -> attributes.Attributes)
+    match attributes with
+    // No attributes found - no [<AutoOpen>] possible
+    | [] -> false
+    // Some attributes found - we can't know for sure if one of them is the AutoOpenAttribute (possibly hidden with a type alias), so we say 'yes'.
+    | _ -> true
+
 let topModuleOrNamespace (input : ParsedInput) =
     match input with
     | ParsedInput.ImplFile f ->
@@ -1042,7 +1052,12 @@ let topModuleOrNamespace (input : ParsedInput) =
         | first :: rest ->
             match first with
             | SynModuleOrNamespace(longId, isRecursive, synModuleOrNamespaceKind, synModuleDecls, preXmlDoc, synAttributeLists, synAccessOption, range, synModuleOrNamespaceTrivia) ->
-                longId
+                if mightHaveAutoOpen synAttributeLists then
+                    // Contents of a module that's potentially AutoOpen are available everywhere, so treat it as if it had no name ('root' module).
+                    // This makes the dependency tracking algorithm detect it as a dependency for all further files.
+                    LongIdent.Empty
+                else
+                    longId
     | ParsedInput.SigFile _ ->
         failwith "Sig files not supported atm"
 
