Add a larger test for the extension

Includes larger files, such as `res_core.ml` and vendored compiler libs from the syntax module.

Author: cristianoc

analysis/reanalyze/examples/deadcode/.bsb.lock

@@ -0,0 +1 @@
+81560

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

@@ -1,127 +1,2 @@
 
-
-  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)
-
-  Exception Analysis
-  File "Exn.res", line 19, characters 5-29
-  callsRaiseWithAnnotation might raise Not_found (Exn.res:19:31) and is not annotated with @raises(Not_found)
-
-  Exception Analysis
-  File "Exn.res", line 22, characters 5-43
-  callsRaiseWithAnnotationAndIsAnnotated might raise Not_found (Exn.res:22:45) and is not annotated with @raises(Not_found)
-
-  Exception Analysis
-  File "Exn.res", line 22, characters 5-43
-  callsRaiseWithAnnotationAndIsAnnotated might raise Not_found (Exn.res:22:45) and is annotated with redundant @raises(A)
-
-  Exception Analysis
-  File "Exn.res", line 24, characters 5-6
-  z might raise Failure (Exn.res:24:8) and is not annotated with @raises(Failure)
-
-  Exception Analysis
-  File "Exn.res", line 26, characters 5-20
-  incompleteMatch might raise Match_failure (Exn.res:27:2) and is not annotated with @raises(Match_failure)
-
-  Exception Analysis
-  File "Exn.res", line 34, characters 5-14
-  twoRaises might raise [A (Exn.res:36:4), B (Exn.res:39:4)] and is not annotated with @raises([A, B])
-
-  Exception Analysis
-  File "Exn.res", line 43, characters 5-15
-  sequencing might raise A (Exn.res:44:2) and is not annotated with @raises(A)
-
-  Exception Analysis
-  File "Exn.res", line 50, characters 5-15
-  wrongCatch might raise B (Exn.res:51:6) and is not annotated with @raises(B)
-
-  Exception Analysis
-  File "Exn.res", line 56, characters 5-16
-  wrongCatch2 might raise [C (Exn.res:57:24), Match_failure (Exn.res:57:2)] and is not annotated with @raises([C, Match_failure])
-
-  Exception Analysis
-  File "Exn.res", line 64, characters 5-20
-  raise2Annotate3 might raise [A (Exn.res:66:4), B (Exn.res:69:4)] and is annotated with redundant @raises(C)
-
-  Exception Analysis
-  File "Exn.res", line 75, characters 5-25
-  parse_json_from_file might raise Error (Exn.res:78:4) and is not annotated with @raises(Error)
-
-  Exception Analysis
-  File "Exn.res", line 84, characters 5-12
-  reRaise might raise B (Exn.res:86:19) and is not annotated with @raises(B)
-
-  Exception Analysis
-  File "Exn.res", line 95, characters 5-23
-  raiseInInternalLet might raise A (Exn.res:96:14) and is not annotated with @raises(A)
-
-  Exception Analysis
-  File "Exn.res", line 100, characters 5-17
-  indirectCall might raise Not_found (Exn.res:100:31) and is not annotated with @raises(Not_found)
-
-  Exception Analysis
-  File "Exn.res", line 148, characters 5-17
-  severalCases might raise Failure (Exn.res:150:13 Exn.res:151:13 Exn.res:152:15) and is not annotated with @raises(Failure)
-
-  Exception Analysis
-  File "Exn.res", line 159, characters 32-57
-  String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise
-
-  Exception Analysis
-  File "Exn.res", line 161, characters 32-64
-  String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise
-
-  Exception Analysis
-  File "Exn.res", line 163, characters 47-72
-  String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise
-
-  Exception Analysis
-  File "Exn.res", line 163, characters 47-80
-  expression does not raise and is annotated with redundant @doesNotRaise
-
-  Exception Analysis
-  File "Exn.res", line 169, characters 51-56
-  expression does not raise and is annotated with redundant @doesNotRaise
-
-  Exception Analysis
-  File "Exn.res", line 167, characters 25-57
-  String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise
-
-  Exception Analysis
-  File "Exn.res", line 176, characters 5-24
-  redundantAnnotation raises nothing and is annotated with redundant @raises(Invalid_argument)
-
-  Exception Analysis
-  File "Exn.res", line 178, characters 5-7
-  _x might raise A (Exn.res:178:9) and is not annotated with @raises(A)
-
-  Exception Analysis
-  File "Exn.res", line 180, characters 5-6
-  _ might raise A (Exn.res:180:8) and is not annotated with @raises(A)
-
-  Exception Analysis
-  File "Exn.res", line 182, characters 5-7
-  () might raise A (Exn.res:182:9) and is not annotated with @raises(A)
-
-  Exception Analysis
-  File "Exn.res", line 184, characters 1-17
-  Toplevel expression might raise Not_found (Exn.res:184:0) and is not annotated with @raises(Not_found)
-
-  Exception Analysis
-  File "Exn.res", line 186, characters 1-20
-  Toplevel expression might raise exit (Exn.res:186:7) and is not annotated with @raises(exit)
-
-  Exception Analysis
-  File "Exn.res", line 196, characters 45-47
-  expression does not raise and is annotated with redundant @doesNotRaise
-
-  Exception Analysis
-  File "Exn.res", line 196, characters 5-22
-  onResultPipeWrong might raise Assert_failure (Exn.res:196:48) and is not annotated with @raises(Assert_failure)
-
-  Exception Analysis
-  File "ExnA.res", line 1, characters 5-8
-  bar might raise Not_found (ExnA.res:1:16) and is not annotated with @raises(Not_found)
-  
-  Analysis reported 31 issues (Exception Analysis:31)
+  Analysis reported 0 issues

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

@@ -13,4 +13,3 @@ type r4 = {r4: int}
 type annotatedVariant =
   | R2(r2, r3)
   | R4(r4)
-

analysis/reanalyze/examples/deadcode/src/AutoAnnotate.res

@@ -2,4 +2,3 @@
  * improved. Use with caution. */
 @module("BootloaderResource")
 external read: JSResource.t<'a> => 'a = "read"
-

analysis/reanalyze/examples/deadcode/src/BootloaderResource.res

@@ -26,4 +26,3 @@ let bar = (x: someMethods) => {
   let f = x["twoArgs"]
   f(. 3, "a")
 }
-

analysis/reanalyze/examples/deadcode/src/BucklescriptAnnotations.res

@@ -6,4 +6,3 @@ module Error1 = {
 module MyErrorHandler = ErrorHandler.Make(Error1)
 
 MyErrorHandler.notify("abc")
-

analysis/reanalyze/examples/deadcode/src/CreateErrorHandler1.res

@@ -4,4 +4,3 @@ module Error2 = {
 }
 
 module MyErrorHandler = ErrorHandler.Make(Error2) /* MyErrorHandler.notify(42) */
-

analysis/reanalyze/examples/deadcode/src/CreateErrorHandler2.res

@@ -1,4 +1,3 @@
 module M: DeadCodeInterface.T = {
   let x = 42
 }
-

analysis/reanalyze/examples/deadcode/src/DeadCodeImplementation.res

@@ -1,4 +1,3 @@
 module type T = {
   let x: int
 }
-

analysis/reanalyze/examples/deadcode/src/DeadCodeInterface.res

@@ -10,4 +10,3 @@ let eToplevel = Etoplevel
 let eInside = Inside.Einside
 
 Js.log(eInside)
-

analysis/reanalyze/examples/deadcode/src/DeadExn.res

@@ -1,3 +1,2 @@
 // empty
 exception Etoplevel
-

analysis/reanalyze/examples/deadcode/src/DeadExn.resi

@@ -9,4 +9,3 @@ let rec emitModuleAccessPath = moduleAccessPath =>
   }
 
 let () = Js.log(Kaboom)
-

analysis/reanalyze/examples/deadcode/src/DeadRT.res

@@ -1,4 +1,3 @@
 type moduleAccessPath =
   | Root(string)
   | Kaboom
-