Update reanalyze to 2.9.0, with support for exit as throwing an exception. (rescript-lang#79)

Author: cristianoc

syntax/package-lock.json

@@ -10,7 +10,7 @@
   "devDependencies": {
     "bs-platform": "^7.3.2",
     "jest": "^24.9.0",
-    "reanalyze": "^2.6.0"
+    "reanalyze": "^2.9.0"
   },
   "scripts": {
     "test": "make test",

syntax/package.json

@@ -5686,7 +5686,7 @@ and parseWithConstraint p =
     end
   | token ->
     Parser.err p (Diagnostics.unexpected token p.breadcrumbs);
-    exit (-1) (* TODO: handle this case *)
+    exit (-1) [@doesNotRaise] (* TODO: handle this case *)
 
 and parseModuleTypeOf p =
   let startPos = p.Parser.startPos in

syntax/src/napkin_core.ml

@@ -99,6 +99,7 @@ let parse_implementation sourcefile =
     exit 1
   end;
   parseResult.parsetree
+[@@raises exit]
 
 let parse_interface sourcefile =
   Location.input_name := sourcefile;
@@ -110,3 +111,4 @@ let parse_interface sourcefile =
     exit 1
   end;
   parseResult.parsetree
+[@@raises exit]

syntax/src/napkin_driver.ml

@@ -105,8 +105,10 @@ module CliArgProcessor = struct
       prerr_newline();
       exit 1
     | _ -> exit 1
+  [@@raises exit]
 end
 
+
 let () =
   if not !Sys.interactive then begin
     NapkinClflags.parse ();

syntax/src/napkin_main.ml

@@ -36,6 +36,7 @@ let printRes ~isInterface ~filename =
         ~width:defaultPrintWidth
         ~comments:parseResult.comments
         parseResult.parsetree
+[@@raises exit]
 
 (* print ocaml files to res syntax *)
 let printMl ~isInterface ~filename =
@@ -128,4 +129,4 @@ let print language ~input =
   | `res -> printRes ~isInterface ~filename:input
   | `ml -> printMl ~isInterface ~filename:input
   | `refmt path -> printReason ~refmtPath:path ~isInterface ~filename:input
-[@@raises Sys_error]
+[@@raises (Sys_error, exit)]