Initial replacement of heuristic code.

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

Hide file tree

Showing 20 changed files with 1,195 additions and 3,880 deletions.
diff --git a/src/Compiler/Driver/ParseAndCheckInputs.fs b/src/Compiler/Driver/ParseAndCheckInputs.fs
@@ -1395,10 +1395,6 @@ let CheckOneInput
                 )
     }
 
-let mutable asts = ConcurrentDictionary<string, ParsedInput>()
-
-let mutable fsiBackedInfos = ConcurrentDictionary<string, ModuleOrNamespaceType>()
-
 /// Typecheck a single file (or interactive entry into F# Interactive)
 let CheckOneInputAux'
     ((checkForErrors,
@@ -1459,10 +1455,6 @@ let CheckOneInputAux'
                         let m = qualNameOfFile.Range
                         TcOpenModuleOrNamespaceDecl tcSink tcGlobals amap m tcEnv (prefixPath, m)
 
-                // Save info needed for type-checking .fs file later on
-                // printfn $"[{Thread.CurrentThread.ManagedThreadId}] Saving fsiBackedInfos for {file.FileName}"
-                fsiBackedInfos[file.FileName] <- sigFileType
-
                 // printfn $"Finished Processing Sig {file.FileName}"
                 return
                     fun tcState ->

diff --git a/src/Compiler/Driver/ParseAndCheckInputs.fsi b/src/Compiler/Driver/ParseAndCheckInputs.fsi
@@ -152,8 +152,6 @@ val AddCheckResultsToTcState:
 
 type PartialResult = TcEnv * TopAttribs * CheckedImplFile option * ModuleOrNamespaceType
 
-val mutable fsiBackedInfos: System.Collections.Concurrent.ConcurrentDictionary<string, ModuleOrNamespaceType>
-
 type CheckArgs =
     CompilationThreadToken * (unit -> bool) * TcConfig * TcImports * TcGlobals * LongIdent option * TcState * (PhasedDiagnostic -> PhasedDiagnostic) * ParsedInput list
 
@@ -176,8 +174,6 @@ val CheckOneInput:
     skipImplIfSigExists: bool ->
         Cancellable<(TcEnv * TopAttribs * CheckedImplFile option * ModuleOrNamespaceType) * TcState>
 
-val mutable asts: System.Collections.Concurrent.ConcurrentDictionary<string, ParsedInput>
-
 /// Check one input, returned as an Eventually computation
 val CheckOneInput':
     checkForErrors: (unit -> bool) *