Extract unit tests and add some basic regression tests.

safesparrow · Nov 23, 2022 · a3a4958 · a3a4958
1 parent a7a6c74
commit a3a4958
Show file tree

Hide file tree

Showing 14 changed files with 956 additions and 932 deletions.
diff --git a/tests/ParallelTypeCheckingTests/Code/AlwaysLinkDetection.fs b/tests/ParallelTypeCheckingTests/Code/AlwaysLinkDetection.fs
@@ -45,18 +45,3 @@ let doesFileHasAutoOpenBehavior (ast: ParsedInput) : bool =
                 isAnyAttributeAutoOpen attribs
                 || kind = SynModuleOrNamespaceKind.GlobalNamespace)
             contents
-
-// ==============================================================================================================================
-// ==============================================================================================================================
-
-open System.IO
-open NUnit.Framework
-open FSharp.Compiler.Service.Tests.Common
-
-[<Test>]
-let ``detect auto open`` () =
-    let file =
-        Path.Combine(__SOURCE_DIRECTORY__, "..", "..", "..", "..", "src", "Compiler", "Utilities", "ImmutableArray.fsi")
-
-    let ast = parseSourceCode (file, File.ReadAllText(file))
-    Assert.True(doesFileHasAutoOpenBehavior ast)
diff --git a/tests/ParallelTypeCheckingTests/Code/DependencyResolution.fs b/tests/ParallelTypeCheckingTests/Code/DependencyResolution.fs
diff --git a/tests/ParallelTypeCheckingTests/Code/FileContentMapping.fs b/tests/ParallelTypeCheckingTests/Code/FileContentMapping.fs
@@ -669,18 +669,3 @@ let mkFileContent (f: FileWithAST) : FileContentEntry list =
 
                 [ yield! attributes; yield! contentEntries ])
             contents
-
-// ================================================================================================================================
-// ================================================================================================================================
-module Tests =
-    open NUnit.Framework
-    open FSharp.Compiler.Service.Tests.Common
-
-    [<Test>]
-    let ``Test a single file`` () =
-        let fileName =
-            @"C:\Users\nojaf\Projects\main-fantomas\src\Fantomas.Core\Selection.fs"
-
-        let ast = parseSourceCode (fileName, System.IO.File.ReadAllText(fileName))
-        let contents = mkFileContent { Idx = 0; File = fileName; AST = ast }
-        ignore contents
diff --git a/tests/ParallelTypeCheckingTests/Code/TrieApproach/Continuation.fs b/tests/ParallelTypeCheckingTests/Code/TrieApproach/Continuation.fs
diff --git a/tests/ParallelTypeCheckingTests/Code/TrieApproach/Types.fs b/tests/ParallelTypeCheckingTests/Code/TrieApproach/Types.fs
diff --git a/tests/ParallelTypeCheckingTests/ParallelTypeCheckingTests.fsproj b/tests/ParallelTypeCheckingTests/ParallelTypeCheckingTests.fsproj
@@ -38,19 +38,21 @@
     <Compile Include="Code\Parallel.fs" />
     <Compile Include="Code\GraphProcessing.fs" />
     <Compile Include="Code\ParallelTypeChecking.fs" />
-    <Compile Include="Code\TrieApproach\Types.fs" />
-    <Compile Include="Code\TrieApproach\Continuation.fs" />
-    <Compile Include="Code\TrieApproach\SampleData.fs" />
     <Compile Include="Tests\Utils.fs" />
     <Compile Include="Tests\AssemblySetUp.fs" />
     <Compile Include="Tests\TestCompilation.fs" />
     <Compile Include="Tests\TestCompilationFromCmdlineArgs.fs" />
-    <Compile Include="Tests\TestGraph.fs" />
     <Content Include="Tests\FCS.args.txt" />
     <Content Include="Tests\FCS.prepare.ps1" />
     <Content Include="Tests\ComponentTests.args.txt" />
     <Content Include="Tests\.gitignore" />
     <Compile Include="Tests\TypedTreeGraph.fs" />
+    <Compile Include="Tests\QueryTrieTests.fs" />
+    <Compile Include="Tests\AlwaysLinkDetectionTests.fs" />
+    <Compile Include="Tests\TrieMappingTests.fs" />
+    <Compile Include="Tests\FileContentMappingTests.fs" />
+    <Compile Include="Tests\Scenarios.fs" />
+    <Compile Include="Tests\DependencyResolutionTests.fs" />
     <Compile Include="Program.fs" />
   <Content Include="Docs.md" />
   </ItemGroup>

diff --git a/tests/ParallelTypeCheckingTests/Program.fs b/tests/ParallelTypeCheckingTests/Program.fs
@@ -32,7 +32,7 @@ open ParallelTypeCheckingTests.DependencyResolution
 [<EntryPoint>]
 let main _argv =
     let filesWithAST =
-        fcsFiles
+        ParallelTypeCheckingTests.Tests.DependencyResolutionTests.fcsFiles
         |> Array.Parallel.mapi (fun idx file ->
             {
                 Idx = idx

diff --git a/tests/ParallelTypeCheckingTests/Tests/AlwaysLinkDetectionTests.fs b/tests/ParallelTypeCheckingTests/Tests/AlwaysLinkDetectionTests.fs
@@ -0,0 +1,43 @@
+module ParallelTypeCheckingTests.Tests.AlwaysLinkDetectionTests
+
+open NUnit.Framework
+open FSharp.Compiler.Service.Tests.Common
+open ParallelTypeCheckingTests.AlwaysLinkDetection
+
+[<Test>]
+let ``Detect top level auto open`` () =
+    let fileContent =
+        """
+[<AutoOpen>]
+module internal Internal.Utilities.Library.Block
+
+open System.Collections.Immutable
+
+[<RequireQualifiedAccess>]
+module ImmutableArrayBuilder =
+
+    val create: size: int -> ImmutableArray<'T>.Builder
+
+[<RequireQualifiedAccess>]
+module ImmutableArray =
+
+    [<GeneralizableValue>]
+    val empty<'T> : ImmutableArray<'T>
+
+    val init: n: int -> f: (int -> 'T) -> ImmutableArray<'T>
+"""
+
+    let ast = parseSourceCode ("ImmutableArray.fsi", fileContent)
+    Assert.True(doesFileHasAutoOpenBehavior ast)
+
+[<Test>]
+let ``Detect global namespace`` () =
+    let fileContent =
+        """
+namespace global
+
+type X = { Y: int }
+"""
+
+    let ast = parseSourceCode ("Global.fsi", fileContent)
+    Assert.True(doesFileHasAutoOpenBehavior ast)