Update src/type/t_synth.ml

Co-authored-by: Damien Doligez <damien.doligez@inria.fr>
ahelwer · Jan 24, 2024 · 3a4c947 · 3a4c947
1 parent 25fdb66
commit 3a4c947
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/type/t_synth.ml b/src/type/t_synth.ml
@@ -658,8 +658,8 @@ and expr_aux scx oe =
       in
       let oty02s =
         if typelvl scx > 1 then try
-          Some (List.map (function TSet ty0 -> ty0 | _ -> failwith "") ty01s)
-        with _ -> None
+          Some (List.map (function TSet ty0 -> ty0 | _ -> raise Exit) ty01s)
+        with Exit -> None
         else None
       in
       begin match oty02s with