Commit c7a7ea65 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Prevent Mlw_typing.unify_loc from catching exceptions when debugging is enabled.

parent 33f16ba1
......@@ -187,7 +187,7 @@ let unify_loc unify_fn loc x1 x2 = try unify_fn x1 x2 with
| TypeMismatch (ity1,ity2) -> errorm ~loc
"This expression has type %a,@ but is expected to have type %a"
Mlw_pretty.print_ity ity2 Mlw_pretty.print_ity ity1
| exn -> error ~loc exn
| exn when not (Debug.test_flag Debug.stack_trace) -> error ~loc exn
let expected_type { de_loc = loc ; de_type = (argl,res) } dity =
if argl <> [] then errorm ~loc "This expression is not a first-order value";
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment