latest vendored parser + libs

Author: zth

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

@@ -1,127 +1,127 @@
 
 
   Exception Analysis
-  File "Exn.res", line 1, characters 5-11
+  Exn.res:1:5-10
   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
+  Exn.res:19:5-28
   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
+  Exn.res:22:5-42
   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
+  Exn.res:22:5-42
   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
+  Exn.res:24:5
   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
+  Exn.res:26:5-19
   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
+  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
-  File "Exn.res", line 43, characters 5-15
+  Exn.res:43:5-14
   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
+  Exn.res:50:5-14
   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
+  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])
 
   Exception Analysis
-  File "Exn.res", line 64, characters 5-20
+  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)
 
   Exception Analysis
-  File "Exn.res", line 75, characters 5-25
+  Exn.res:75:5-24
   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
+  Exn.res:84:5-11
   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
+  Exn.res:95:5-22
   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
+  Exn.res:100:5-16
   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
+  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)
 
   Exception Analysis
-  File "Exn.res", line 159, characters 32-57
+  Exn.res:159:32-56
   String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise
 
   Exception Analysis
-  File "Exn.res", line 161, characters 32-64
+  Exn.res:161:32-63
   String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise
 
   Exception Analysis
-  File "Exn.res", line 163, characters 47-72
+  Exn.res:163:47-71
   String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise
 
   Exception Analysis
-  File "Exn.res", line 163, characters 47-80
+  Exn.res:163:47-79
   expression does not raise and is annotated with redundant @doesNotRaise
 
   Exception Analysis
-  File "Exn.res", line 169, characters 51-56
+  Exn.res:169:51-55
   expression does not raise and is annotated with redundant @doesNotRaise
 
   Exception Analysis
-  File "Exn.res", line 167, characters 25-57
+  Exn.res:167:25-56
   String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise
 
   Exception Analysis
-  File "Exn.res", line 176, characters 5-24
+  Exn.res:176:5-23
   redundantAnnotation raises nothing and is annotated with redundant @raises(Invalid_argument)
 
   Exception Analysis
-  File "Exn.res", line 178, characters 5-7
+  Exn.res:178:5-6
   _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
+  Exn.res:180:5
   _ might raise A (Exn.res:180:8) and is not annotated with @raises(A)
 
   Exception Analysis
-  File "Exn.res", line 182, characters 5-7
+  Exn.res:182:5-6
   () might raise A (Exn.res:182:9) and is not annotated with @raises(A)
 
   Exception Analysis
-  File "Exn.res", line 184, characters 1-17
+  Exn.res:184:1-16
   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
+  Exn.res:186:1-19
   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
+  Exn.res:196:45-46
   expression does not raise and is annotated with redundant @doesNotRaise
 
   Exception Analysis
-  File "Exn.res", line 196, characters 5-22
+  Exn.res:196:5-21
   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
+  ExnA.res:1:5-7
   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/reanalyze/examples/deadcode/expected/exception.txt

@@ -160,69 +160,69 @@
 
 
   Error Termination
-  File "TestCyberTruck.res", line 29, characters 28-40
+  TestCyberTruck.res:29:28-39
   Possible infinite loop when calling alwaysLoop
   CallStack:
     1 alwaysLoop (TestCyberTruck.res 29)
 
   Error Termination
-  File "TestCyberTruck.res", line 40, characters 3-29
+  TestCyberTruck.res:40:3-28
   Possible infinite loop when calling alwaysProgressWrongOrder
   CallStack:
     1 alwaysProgressWrongOrder (TestCyberTruck.res 39)
 
   Error Hygiene
-  File "TestCyberTruck.res", line 47, characters 15-25
+  TestCyberTruck.res:47:15-24
   doNotAlias can only be called directly, or passed as labeled argument
 
   Error Termination
-  File "TestCyberTruck.res", line 68, characters 3-25
+  TestCyberTruck.res:68:3-24
   Possible infinite loop when calling progressOnOneBranch
   CallStack:
     1 progressOnOneBranch (TestCyberTruck.res 64)
 
   Error Termination
-  File "TestCyberTruck.res", line 80, characters 48-64
+  TestCyberTruck.res:80:48-63
   Possible infinite loop when calling parseFunction which is testParametricFunction
   CallStack:
     3 callParseFunction<parseFunction:testParametricFunction> (TestCyberTruck.res 79)
     2 testParametricFunction2 (TestCyberTruck.res 77)
     1 testParametricFunction (TestCyberTruck.res 73)
 
   Error Termination
-  File "TestCyberTruck.res", line 89, characters 3-18
+  TestCyberTruck.res:89:3-17
   Possible infinite loop when calling testCacheHit
   CallStack:
     1 testCacheHit (TestCyberTruck.res 83)
 
   Error Termination
-  File "TestCyberTruck.res", line 97, characters 31-59
+  TestCyberTruck.res:97:31-58
   Possible infinite loop when calling evalOrderIsNotLeftToRight
   CallStack:
     1 evalOrderIsNotLeftToRight (TestCyberTruck.res 95)
 
   Error Termination
-  File "TestCyberTruck.res", line 104, characters 19-47
+  TestCyberTruck.res:104:19-46
   Possible infinite loop when calling evalOrderIsNotRightToLeft
   CallStack:
     1 evalOrderIsNotRightToLeft (TestCyberTruck.res 102)
 
   Error Termination
-  File "TestCyberTruck.res", line 180, characters 15-22
+  TestCyberTruck.res:180:15-21
   Possible infinite loop when calling parseList$loop<f:f> which is parseList$loop<f:parseListInt>
   CallStack:
     3 parseList$loop<f:parseListInt> (TestCyberTruck.res 183)
     2 parseList<f:parseListInt> (TestCyberTruck.res 201)
     1 parseListListInt (TestCyberTruck.res 201)
 
   Error Termination
-  File "TestCyberTruck.res", line 238, characters 31-50
+  TestCyberTruck.res:238:31-49
   Possible infinite loop when calling loopAfterProgress
   CallStack:
     1 loopAfterProgress (TestCyberTruck.res 236)
 
   Error Termination
-  File "TestCyberTruck.res", line 286, characters 32-62
+  TestCyberTruck.res:286:32-61
   Possible infinite loop when calling countRendersCompiled
   CallStack:
     1 countRendersCompiled (TestCyberTruck.res 283)