Reproduction for issue #52

Signed-off-by: Kakadu <kakadu@pm.me>
Kakadu · May 7, 2024 · 99578a4 · 99578a4
1 parent 3f7fc63
commit 99578a4
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/tests/typed/ExcTry.t/ExcTryWithWildcard.ml b/tests/typed/ExcTry.t/ExcTryWithWildcard.ml
@@ -7,3 +7,19 @@ let foo f =
   | [] -> 1
   | exception _ -> 2
   | _ -> 3
+
+[@@@ocaml.warning "-unused-value-declaration" ]
+[@@@ocaml.warning "-unused-var-strict"]
+let bar =
+  try 1 with | e -> 2
+(* TODO: this should be reported too
+   https://github.com/semgrep/semgrep/issues/10193
+   Issue #52
+   *)
+
+
+
+module FOO(_ : sig end) = struct
+  let _inside_functor =
+    try 1 with | _ -> 2
+end
diff --git a/tests/typed/ExcTry.t/run.t b/tests/typed/ExcTry.t/run.t
@@ -4,3 +4,7 @@
   2 | ..try raise Not_found
   3 | with _ -> 1
   Alert zanuda-linter: Antipattern: error swallowing
+  File "ExcTryWithWildcard.ml", line 24, characters 4-23:
+  24 |     try 1 with | _ -> 2
+           ^^^^^^^^^^^^^^^^^^^
+  Alert zanuda-linter: Antipattern: error swallowing