Make the analysis binary impersonate reanalyze.

e.g. `rescript-editor-analysis.exe reanalyze -dce`

Author: cristianoc

analysis/Makefile

@@ -3,7 +3,7 @@ SHELL = /bin/bash
 build-native:
 	rm -f rescript-editor-analysis.exe
 	dune build
-	cp _build/install/default/bin/rescript-editor-analysis.exe rescript-editor-analysis.exe
+	cp _build/install/default/bin/rescript-editor-analysis rescript-editor-analysis.exe
 
 dce: build-native
 	opam exec reanalyze.exe -- -dce-cmt _build -suppress vendor

analysis/reanalyze/examples/deadcode/expected/deadcode.txt

@@ -1,3 +1,4 @@
+
   Scanning AutoAnnotate.cmt Source:AutoAnnotate.res
   addVariantCaseDeclaration R AutoAnnotate.res:1:15 path:+AutoAnnotate.variant
   addRecordLabelDeclaration variant AutoAnnotate.res:4:15 path:+AutoAnnotate.record

analysis/reanalyze/examples/deadcode/expected/exception.txt

@@ -1,4 +1,5 @@
 
+
   Exception Analysis
   File "Exn.res", line 1, characters 5-11
   raises might raise Not_found (Exn.res:1:19) and is not annotated with @raises(Not_found)

analysis/reanalyze/examples/deadcode/test.sh

@@ -6,7 +6,7 @@ else
   exclude_dirs="src/exception"
   suppress="src/ToSuppress.res"
 fi
-dune exec -- reanalyze -config -debug -ci -exclude-paths $exclude_dirs -live-names globallyLive1 -live-names globallyLive2,globallyLive3 -suppress $suppress > $output
+dune exec rescript-editor-analysis -- reanalyze -config -debug -ci -exclude-paths $exclude_dirs -live-names globallyLive1 -live-names globallyLive2,globallyLive3 -suppress $suppress > $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
@@ -18,7 +18,7 @@ if [ "$RUNNER_OS" == "Windows" ]; then
 else
   unsuppress_dirs="src/exception"
 fi
-dune exec reanalyze -- -exception -ci -suppress src -unsuppress $unsuppress_dirs > $output
+dune exec rescript-editor-analysis -- reanalyze -exception -ci -suppress src -unsuppress $unsuppress_dirs > $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

analysis/reanalyze/examples/termination/expected/termination.txt

@@ -1,3 +1,4 @@
+
   Scanning TestCyberTruck.cmt Source:TestCyberTruck.res
 
   Function Table

analysis/reanalyze/examples/termination/test.sh

@@ -1,5 +1,5 @@
 output="expected/termination.txt"
-dune exec reanalyze -- -config -ci -debug > $output
+dune exec rescript-editor-analysis -- reanalyze -config -ci -debug > $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

analysis/reanalyze/src/Reanalyze.ml

@@ -210,6 +210,3 @@ let cli () =
   let cmtRoot = !cmtRootRef in
   runAnalysis ~cmtRoot ~ppf
   [@@raises exit]
-;;
-
-cli () [@@raises exit]

analysis/reanalyze/src/dune

@@ -1,7 +1,5 @@
-(executable
- (name Reanalyze)
- (public_name reanalyze)
- (modes byte exe)
+(library
+ (name reanalyze)
  (flags
   (-w "-9")
   (-open Compilerlibs406)

analysis/src/Cli.ml

@@ -84,6 +84,13 @@ let main () =
   | [_; "codeAction"; path; line; col; currentFile] ->
     Commands.codeAction ~path ~line:(int_of_string line)
       ~col:(int_of_string col) ~currentFile
+  | _ :: "reanalyze" :: _ ->
+    let len = Array.length Sys.argv in
+    for i = 1 to len - 2 do
+      Sys.argv.(i) <- Sys.argv.(i + 1)
+    done;
+    Sys.argv.(len - 1) <- "";
+    Reanalyze.cli ()
   | [_; "references"; path; line; col] ->
     Commands.references ~path ~line:(int_of_string line)
       ~col:(int_of_string col)

analysis/src/dune

@@ -1,12 +1,13 @@
 (executable
- (public_name rescript-editor-analysis.exe)
+ (public_name rescript-editor-analysis)
  (modes byte exe)
  ; The main module that will become the binary.
  (name Cli)
  (flags
   (-w "+26+27+32+33+39")
   (-open Compilerlibs406)
   (-open Jsonlib)
-  (-open Outcomeprinter))
+  (-open Outcomeprinter)
+  (-open Reanalyze))
  ; Depends on:
- (libraries unix str compilerlibs406 jsonlib outcomeprinter))
+ (libraries unix str compilerlibs406 jsonlib outcomeprinter reanalyze))