Update src/type/t_synth.ml

Co-authored-by: Damien Doligez <[email protected]>
tlaplus · Jan 24, 2024 · 25fdb66 · 25fdb66
1 parent 4cf25fc
commit 25fdb66
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/type/t_synth.ml b/src/type/t_synth.ml
@@ -903,8 +903,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