|
@@ -556,14 +556,12 @@ let rec unify_call_args' ctx el args r callp inline force_inline =
|
|
in
|
|
in
|
|
let contains_tpos e p =
|
|
let contains_tpos e p =
|
|
let rec loop e =
|
|
let rec loop e =
|
|
- prerr_endline (e.epos.pfile ^ " " ^ string_of_int e.epos.pmin ^ " " ^ string_of_int e.epos.pmax);
|
|
|
|
if Display.encloses_position p e.epos && e.epos.pfile = p.pfile then raise Exit;
|
|
if Display.encloses_position p e.epos && e.epos.pfile = p.pfile then raise Exit;
|
|
Type.iter loop e
|
|
Type.iter loop e
|
|
in
|
|
in
|
|
try
|
|
try
|
|
loop e; false;
|
|
loop e; false;
|
|
with Exit ->
|
|
with Exit ->
|
|
- prerr_endline "!";
|
|
|
|
true
|
|
true
|
|
in
|
|
in
|
|
let check_e = ref None in
|
|
let check_e = ref None in
|