Port reanalyze deadcode example code to ReScript v11

Author: mediremi

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

@@ -1,8 +1,12 @@
 
 
   Exception Analysis
-  Exn.res:1:5-10
-  raises might raise Not_found (Exn.res:1:19) and is not annotated with @raises(Not_found)
+  BsJson.res:4:5-15
+  testBsJson2 raises nothing and is annotated with redundant @raises(JsonCombinators.DecodeError)
+
+  Exception Analysis
+  Exn.res:17:5-23
+  raisesWithAnnotaion raises nothing and is annotated with redundant @raises(Not_found)
 
   Exception Analysis
   Exn.res:19:5-28
@@ -24,45 +28,33 @@
   Exn.res:26:5-19
   incompleteMatch might raise Match_failure (Exn.res:27:2) and is not annotated with @raises(Match_failure)
 
-  Exception Analysis
-  Exn.res:34:5-13
-  twoRaises might raise [A (Exn.res:36:4), B (Exn.res:39:4)] and is not annotated with @raises([A, B])
-
-  Exception Analysis
-  Exn.res:43:5-14
-  sequencing might raise A (Exn.res:44:2) and is not annotated with @raises(A)
-
-  Exception Analysis
-  Exn.res:50:5-14
-  wrongCatch might raise B (Exn.res:51:6) and is not annotated with @raises(B)
-
   Exception Analysis
   Exn.res:56:5-15
-  wrongCatch2 might raise [C (Exn.res:57:24), Match_failure (Exn.res:57:2)] and is not annotated with @raises([C, Match_failure])
+  wrongCatch2 might raise Match_failure (Exn.res:57:2) and is not annotated with @raises(Match_failure)
 
   Exception Analysis
   Exn.res:64:5-19
-  raise2Annotate3 might raise [A (Exn.res:66:4), B (Exn.res:69:4)] and is annotated with redundant @raises(C)
+  raise2Annotate3 raises nothing and is annotated with redundant @raises([A, B, C])
 
   Exception Analysis
-  Exn.res:75:5-24
-  parse_json_from_file might raise Error (Exn.res:78:4) and is not annotated with @raises(Error)
+  Exn.res:100:5-16
+  indirectCall might raise Not_found (Exn.res:100:31) and is not annotated with @raises(Not_found)
 
   Exception Analysis
-  Exn.res:84:5-11
-  reRaise might raise B (Exn.res:86:19) and is not annotated with @raises(B)
+  Exn.res:125:5-13
+  raiseAtAt raises nothing and is annotated with redundant @raises(Not_found)
 
   Exception Analysis
-  Exn.res:95:5-22
-  raiseInInternalLet might raise A (Exn.res:96:14) and is not annotated with @raises(A)
+  Exn.res:128:5-13
+  raisePipe raises nothing and is annotated with redundant @raises(Not_found)
 
   Exception Analysis
-  Exn.res:100:5-16
-  indirectCall might raise Not_found (Exn.res:100:31) and is not annotated with @raises(Not_found)
+  Exn.res:131:5-14
+  raiseArrow raises nothing and is annotated with redundant @raises(Not_found)
 
   Exception Analysis
-  Exn.res:148:5-16
-  severalCases might raise Failure (Exn.res:150:13 Exn.res:151:13 Exn.res:152:15) and is not annotated with @raises(Failure)
+  Exn.res:157:5-30
+  genericRaiseIsNotSupported raises nothing and is annotated with redundant @raises(genericException)
 
   Exception Analysis
   Exn.res:159:32-56
@@ -89,24 +81,12 @@
   String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise
 
   Exception Analysis
-  Exn.res:176:5-23
-  redundantAnnotation raises nothing and is annotated with redundant @raises(Invalid_argument)
-
-  Exception Analysis
-  Exn.res:178:5-6
-  _x might raise A (Exn.res:178:9) and is not annotated with @raises(A)
-
-  Exception Analysis
-  Exn.res:180:5
-  _ might raise A (Exn.res:180:8) and is not annotated with @raises(A)
-
-  Exception Analysis
-  Exn.res:182:5-6
-  () might raise A (Exn.res:182:9) and is not annotated with @raises(A)
+  Exn.res:173:5-9
+  exits raises nothing and is annotated with redundant @raises(exit)
 
   Exception Analysis
-  Exn.res:184:1-16
-  Toplevel expression might raise Not_found (Exn.res:184:0) and is not annotated with @raises(Not_found)
+  Exn.res:176:5-23
+  redundantAnnotation raises nothing and is annotated with redundant @raises(Invalid_argument)
 
   Exception Analysis
   Exn.res:186:1-19
@@ -123,5 +103,21 @@
   Exception Analysis
   ExnA.res:1:5-7
   bar might raise Not_found (ExnA.res:1:16) and is not annotated with @raises(Not_found)
+
+  Exception Analysis
+  ExnB.res:2:5-7
+  foo raises nothing and is annotated with redundant @raises(Not_found)
+
+  Exception Analysis
+  InnerModules.res:2:5-15
+  wrapExitTop raises nothing and is annotated with redundant @raises(exit)
+
+  Exception Analysis
+  InnerModules.res:6:7-16
+  wrapExitM1 raises nothing and is annotated with redundant @raises(exit)
+
+  Exception Analysis
+  InnerModules.res:16:9-18
+  wrapExitM2 raises nothing and is annotated with redundant @raises(exit)
 
-  Analysis reported 31 issues (Exception Analysis:31)
+  Analysis reported 30 issues (Exception Analysis:30)

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

@@ -3,12 +3,12 @@
   "version": "0.1.0",
   "private": true,
   "devDependencies": {
-    "react": "^16.13.1",
-    "react-dom": "^16.8.6",
-    "rescript": "^10.1.2"
+    "react": "^18.2.0",
+    "react-dom": "^18.2.0",
+    "rescript": "^11.1.4"
   },
   "dependencies": {
-    "@glennsl/bs-json": "^5.0.4",
-    "@rescript/react": "^0.10.3"
+    "@glennsl/rescript-json-combinators": "^1.4.0",
+    "@rescript/react": "^0.13.0"
   }
 }