feat(analysis): add diagnostics syntax

analysis/src/Cli.ml

@@ -10,6 +10,7 @@ API examples:
   ./rescript-editor-analysis.exe hover src/MyFile.res 10 2
   ./rescript-editor-analysis.exe references src/MyFile.res 10 2
   ./rescript-editor-analysis.exe rename src/MyFile.res 10 2 foo
+  ./rescript-editor-analysis.exe diagnosticSyntax src/MyFile.res
 
 Dev-time examples:
   ./rescript-editor-analysis.exe dump src/MyFile.res src/MyFile2.res
@@ -60,6 +61,10 @@ Options:
 
     ./rescript-editor-analysis.exe format src/MyFile.res
 
+  diagnosticSyntax: print to stdout diagnostic for syntax
+
+    ./rescript-editor-analysis.exe diagnosticSyntax src/MyFile.res
+
   test: run tests specified by special comments in file src/MyFile.res
 
     ./rescript-editor-analysis.exe test src/src/MyFile.res
@@ -88,6 +93,8 @@ let main () =
     Commands.codeAction ~path
       ~pos:(int_of_string line, int_of_string col)
       ~currentFile ~debug:false
+  | [_; "diagnosticSyntax"; path;] -> 
+    Commands.diagnosticSyntax ~path
   | _ :: "reanalyze" :: _ ->
     let len = Array.length Sys.argv in
     for i = 1 to len - 2 do

analysis/src/Commands.ml

@@ -257,6 +257,12 @@ let format ~path =
         signature
   else ""
 
+let diagnosticSyntax ~path =
+  print_endline
+    (match Diagnostics.document_syntax ~path with
+    | [] -> Protocol.null
+    | d -> Protocol.array d)
+
 let test ~path =
   Uri.stripPath := true;
   match Files.readFile path with
@@ -378,6 +384,7 @@ let test ~path =
                                  Printf.printf "%s\nnewText:\n%s<--here\n%s%s\n"
                                    (Protocol.stringifyRange range)
                                    indent indent newText)))
+          | "dia" -> diagnosticSyntax ~path
           | _ -> ());
           print_newline ())
     in

analysis/src/Diagnostics.ml

@@ -0,0 +1,26 @@
+let document_syntax ~path =
+  let parse =
+    Res_driver.parsingEngine.parseImplementation ~forPrinter:false
+      ~filename:path
+  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; character = startcol};
+                   end_ = {line = endline; character = endcol};
+                 };
+               message = Res_diagnostics.explain diagnostic;
+               severity = Error;
+             })

analysis/src/Protocol.ml

@@ -10,12 +10,18 @@ type completionItem = {
   documentation : markupContent option;
 }
 
-type hover = string
 type location = {uri : string; range : range}
 type documentSymbolItem = {name : string; kind : int; location : location}
 type renameFile = {oldUri : string; newUri : string}
 type textEdit = {range : range; newText : string}
 
+type diagnosticSeverity = Error | Warning | Information | Hint
+type diagnostic = {
+  range : range;
+  message : string;
+  severity : diagnosticSeverity;
+}
+
 type optionalVersionedTextDocumentIdentifier = {
   version : int option;
   uri : string;
@@ -89,7 +95,7 @@ let stringifyRenameFile {oldUri; newUri} =
 }|}
     (Json.escape oldUri) (Json.escape newUri)
 
-let stringifyTextEdit te =
+let stringifyTextEdit (te : textEdit) =
   Printf.sprintf {|{
   "range": %s,
   "newText": "%s"
@@ -123,3 +129,16 @@ let stringifyCodeAction ca =
   Printf.sprintf {|{"title": "%s", "kind": "%s", "edit": %s}|} ca.title
     (codeActionKindToString ca.codeActionKind)
     (ca.edit |> stringifyCodeActionEdit)
+
+let stringifyDiagnostic d =
+  Printf.sprintf {|{
+  "range: %s,
+  "message": "%s",
+  "severity": %d,
+}|}
+    (stringifyRange d.range) (Json.escape d.message)
+    (match d.severity with
+    | Error -> 1
+    | Warning -> 2
+    | Information -> 3
+    | Hint -> 4)

analysis/tests/bsconfig.json

@@ -9,6 +9,7 @@
       "subdirs": true
     }
   ],
+  "ignored-dirs": ["src/not_compiled"],
   "bsc-flags": ["-w -33-44"],
   "bs-dependencies": ["@rescript/react"],
   "reason": { "react-jsx": 3 }

analysis/tests/src/not_compiled/Diagnostics.res

@@ -0,0 +1,5 @@
+let = 1 + 1.0
+let add = =2
+lett a = 2
+
+//^dia

analysis/tests/src/not_compiled/expected/Diagnostics.res.txt

@@ -0,0 +1,13 @@
+[{
+  "range: {"start": {"line": 1, "character": 4}, "end": {"line": 1, "character": 5}},
+  "message": "I was expecting a name for this let-binding. Example: `let message = \"hello\"`",
+  "severity": 1,
+}, {
+  "range: {"start": {"line": 2, "character": 9}, "end": {"line": 2, "character": 11}},
+  "message": "This let-binding misses an expression",
+  "severity": 1,
+}, {
+  "range: {"start": {"line": 3, "character": 4}, "end": {"line": 3, "character": 6}},
+  "message": "consecutive statements on a line must be separated by ';' or a newline",
+  "severity": 1,
+}]

analysis/tests/test.sh

@@ -7,6 +7,15 @@ for file in src/*.{res,resi}; do
   fi
 done
 
+for file in src/not_compiled/*.res; do
+  output="$(dirname $file)/expected/$(basename $file).txt"
+  ../rescript-editor-analysis.exe test $file &> $output
+  # CI. We use LF, and the CI OCaml fork prints CRLF. Convert.
+  if [ "$RUNNER_OS" == "Windows" ]; then
+    perl -pi -e 's/\r\n/\n/g' -- $output
+  fi
+done
+
 warningYellow='\033[0;33m'
 successGreen='\033[0;32m'
 reset='\033[0m'