|
@@ -2363,7 +2363,7 @@ and type_unop ctx op flag e p =
|
|
|
| [] -> raise Not_found
|
|
|
| (op2,flag2,cf) :: opl when op == op2 && flag == flag2 ->
|
|
|
let m = mk_mono() in
|
|
|
- let tcf = apply_params c.cl_params pl (monomorphs cf.cf_params cf.cf_type) in
|
|
|
+ let tcf = apply_params a.a_params pl (monomorphs cf.cf_params cf.cf_type) in
|
|
|
if Meta.has Meta.Impl cf.cf_meta then begin
|
|
|
if type_iseq (tfun [apply_params a.a_params pl a.a_this] m) tcf then cf,tcf,m else loop opl
|
|
|
end else
|