Skip to content

Commit 769e337

Browse files
committed
Remove raise_notrace
1 parent 7255bf6 commit 769e337

File tree

2 files changed

+1
-6
lines changed

2 files changed

+1
-6
lines changed

analysis/reanalyze/src/Exception.ml

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -249,11 +249,7 @@ let traverseAst () =
249249
case.c_guard |> iterExprOpt self;
250250
case.c_rhs |> iterExpr self)
251251
in
252-
let isRaise s =
253-
s = "Pervasives.raise"
254-
|| s = "Pervasives.raise_notrace"
255-
|| s = "Pervasives.throw"
256-
in
252+
let isRaise s = s = "Pervasives.raise" || s = "Pervasives.throw" in
257253
let raiseArgs args =
258254
match args with
259255
| [(_, Some {Typedtree.exp_desc = Texp_construct ({txt}, _, _)})] ->

tests/tests/src/test_per.res

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
/* Exceptions */
22

33
external raise: exn => 'a = "%raise"
4-
external raise_notrace: exn => 'a = "%raise_notrace"
54

65
let failwith = s => throw(Failure(s))
76
let invalid_arg = s => throw(Invalid_argument(s))

0 commit comments

Comments
 (0)