Check if file exists before trying to open it (#16315)

* Check if file exists before trying to open it * Fantomas refactoring white-spaces
dotnet · Nov 21, 2023 · 828755c · 828755c
1 parent e531233
commit 828755c
Showing 1 changed file with 13 additions and 10 deletions.
diff --git a/src/Compiler/Utilities/range.fs b/src/Compiler/Utilities/range.fs
@@ -548,19 +548,22 @@ module Range =
 
     let mkFirstLineOfFile (file: string) =
         try
-            let lines = FileSystem.OpenFileForReadShim(file).ReadLines() |> Seq.indexed
+            if not (FileSystem.FileExistsShim file) then
+                mkRange file (mkPos 1 0) (mkPos 1 80)
+            else
+                let lines = FileSystem.OpenFileForReadShim(file).ReadLines() |> Seq.indexed
 
-            let nonWhiteLine =
-                lines |> Seq.tryFind (fun (_, s) -> not (String.IsNullOrWhiteSpace s))
+                let nonWhiteLine =
+                    lines |> Seq.tryFind (fun (_, s) -> not (String.IsNullOrWhiteSpace s))
 
-            match nonWhiteLine with
-            | Some (i, s) -> mkRange file (mkPos (i + 1) 0) (mkPos (i + 1) s.Length)
-            | None ->
+                match nonWhiteLine with
+                | Some (i, s) -> mkRange file (mkPos (i + 1) 0) (mkPos (i + 1) s.Length)
+                | None ->
 
-                let nonEmptyLine = lines |> Seq.tryFind (fun (_, s) -> not (String.IsNullOrEmpty s))
+                    let nonEmptyLine = lines |> Seq.tryFind (fun (_, s) -> not (String.IsNullOrEmpty s))
 
-                match nonEmptyLine with
-                | Some (i, s) -> mkRange file (mkPos (i + 1) 0) (mkPos (i + 1) s.Length)
-                | None -> mkRange file (mkPos 1 0) (mkPos 1 80)
+                    match nonEmptyLine with
+                    | Some (i, s) -> mkRange file (mkPos (i + 1) 0) (mkPos (i + 1) s.Length)
+                    | None -> mkRange file (mkPos 1 0) (mkPos 1 80)
         with _ ->
             mkRange file (mkPos 1 0) (mkPos 1 80)