diff --git a/typing/typecore.ml b/typing/typecore.ml index 33227c4d08c2..9a055793bf7b 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -2021,11 +2021,11 @@ let check_partial_application statement exp = | Texp_ident _ | Texp_constant _ | Texp_tuple _ | Texp_construct _ | Texp_variant _ | Texp_record _ | Texp_field _ | Texp_setfield _ | Texp_array _ - | Texp_while _ | Texp_for _ | Texp_new _ | Texp_instvar _ + | Texp_while _ | Texp_for _ | Texp_instvar _ | Texp_setinstvar _ | Texp_override _ | Texp_assert _ | Texp_lazy _ | Texp_object _ | Texp_pack _ | Texp_unreachable | Texp_extension_constructor _ | Texp_ifthenelse (_, _, None) - | Texp_function _ | Texp_send _ -> + | Texp_function _ -> check_statement () | Texp_match (_, cases, _) -> List.iter (fun {c_rhs; _} -> check c_rhs) cases @@ -2036,7 +2036,7 @@ let check_partial_application statement exp = | Texp_let (_, _, e) | Texp_sequence (_, e) | Texp_letexception (_, e) | Texp_letmodule (_, _, _, e) -> check e - | Texp_apply _ -> + | Texp_apply _ | Texp_send _ | Texp_new _ -> Location.prerr_warning exp_loc Warnings.Partial_application end in