fix wong raise

ocaml-flambda · Dec 14, 2022 · 82c7afe · 82c7afe
1 parent 985725b
commit 82c7afe
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/typing/ctype.ml b/typing/ctype.ml
@@ -2501,9 +2501,9 @@ and mcomp_tuple_description type_pairs env =
       mcomp type_pairs env ty1 ty2;
       if gf1 = gf2
       then iter xs ys
-      else raise (Unify (expand_to_unification_error env []))
+      else raise Incompatible
     | [], [] -> ()
-    | _ -> raise (Unify (expand_to_unification_error env []))
+    | _ -> raise Incompatible
   in
   iter