rescript-vscode/analysis/reanalyze/examples/deadcode/expected/exception.txt at f31703adbff24d9250d7c7086273e92a50eab1b3 · rescript-lang/rescript-vscode · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

  Exception Analysis
  Exn.res:1:5-10
  raises might raise Not_found (Exn.res:1:19) and is not annotated with @raises(Not_found)

  Exception Analysis
  Exn.res:19:5-28
  callsRaiseWithAnnotation might raise Not_found (Exn.res:19:31) and is not annotated with @raises(Not_found)

  Exception Analysis
  Exn.res:22:5-42
  callsRaiseWithAnnotationAndIsAnnotated might raise Not_found (Exn.res:22:45) and is not annotated with @raises(Not_found)

  Exception Analysis
  Exn.res:22:5-42
  callsRaiseWithAnnotationAndIsAnnotated might raise Not_found (Exn.res:22:45) and is annotated with redundant @raises(A)

  Exception Analysis
  Exn.res:24:5
  z might raise Failure (Exn.res:24:8) and is not annotated with @raises(Failure)

  Exception Analysis
  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])

  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)

  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)

  Exception Analysis
  Exn.res:84:5-11
  reRaise might raise B (Exn.res:86:19) and is not annotated with @raises(B)

  Exception Analysis
  Exn.res:95:5-22
  raiseInInternalLet might raise A (Exn.res:96:14) and is not annotated with @raises(A)

  Exception Analysis
  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: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
  Exn.res:159:32-56
  String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise

  Exception Analysis
  Exn.res:161:32-63
  String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise

  Exception Analysis
  Exn.res:163:47-71
  String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise

  Exception Analysis
  Exn.res:163:47-79
  expression does not raise and is annotated with redundant @doesNotRaise

  Exception Analysis
  Exn.res:169:51-55
  expression does not raise and is annotated with redundant @doesNotRaise

  Exception Analysis
  Exn.res:167:25-56
  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)

  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)

  Exception Analysis
  Exn.res:186:1-19
  Toplevel expression might raise exit (Exn.res:186:7) and is not annotated with @raises(exit)

  Exception Analysis
  Exn.res:196:45-46
  expression does not raise and is annotated with redundant @doesNotRaise

  Exception Analysis
  Exn.res:196:5-21
  onResultPipeWrong might raise Assert_failure (Exn.res:196:48) and is not annotated with @raises(Assert_failure)

  Exception Analysis
  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)