support .resi

Author: aspeddro

analysis/src/Diagnostics.ml

@@ -1,26 +1,36 @@
 let document_syntax ~path =
-  let parse =
-    Res_driver.parsingEngine.parseImplementation ~forPrinter:false
-      ~filename:path
+  let get_diagnostics diagnostics =
+    match diagnostics with
+    | [] -> []
+    | diagnostics ->
+      diagnostics
+      |> List.rev_map (fun diagnostic ->
+             let _, startline, startcol =
+               Location.get_pos_info (Res_diagnostics.getStartPos diagnostic)
+             in
+             let _, endline, endcol =
+               Location.get_pos_info (Res_diagnostics.getEndPos diagnostic)
+             in
+             Protocol.stringifyDiagnostic
+               {
+                 range =
+                   {
+                     start = {line = startline - 1; character = startcol};
+                     end_ = {line = endline - 1; character = endcol};
+                   };
+                 message = Res_diagnostics.explain diagnostic;
+                 severity = Error;
+               })
   in
-  match parse.diagnostics with
-  | [] -> []
-  | diagnostics ->
-    diagnostics
-    |> List.rev_map (fun diagnostic ->
-           let _, startline, startcol =
-             Location.get_pos_info (Res_diagnostics.getStartPos diagnostic)
-           in
-           let _, endline, endcol =
-             Location.get_pos_info (Res_diagnostics.getEndPos diagnostic)
-           in
-           Protocol.stringifyDiagnostic
-             {
-               range =
-                 {
-                   start = {line = startline - 1; character = startcol};
-                   end_ = {line = endline - 1; character = endcol};
-                 };
-               message = Res_diagnostics.explain diagnostic;
-               severity = Error;
-             })
+  if FindFiles.isImplementation path then
+    let parseImplementation =
+      Res_driver.parsingEngine.parseImplementation ~forPrinter:false
+        ~filename:path
+    in
+    get_diagnostics parseImplementation.diagnostics
+  else if FindFiles.isInterface path then
+    let parseInterface =
+      Res_driver.parsingEngine.parseInterface ~forPrinter:false ~filename:path
+    in
+    get_diagnostics parseInterface.diagnostics
+  else []

server/src/server.ts

@@ -599,8 +599,9 @@ function format(msg: p.RequestMessage): Array<p.Message> {
 }
 
 const updateDiagnosticSyntax = (fileUri: string, fileContent: string) => {
-  const filePath = fileURLToPath(fileUri);
-  const tmpname = utils.createFileInTempDir();
+  let filePath = fileURLToPath(fileUri);
+  let extension = path.extname(filePath);
+  let tmpname = utils.createFileInTempDir(extension = extension);
   fs.writeFileSync(tmpname, fileContent, { encoding: "utf-8" });
 
   const items: p.Diagnostic[] | [] = utils.runAnalysisAfterSanityCheck(