diff options
| author | Thomas Refis <thomas.refis@gmail.com> | 2018-07-24 16:17:53 +0100 |
|---|---|---|
| committer | Thomas Refis <refis.thomas@gmail.com> | 2018-07-25 11:12:10 +0100 |
| commit | 445b53182a679aefa1602c6fd31c43d7230e8dd0 (patch) | |
| tree | d6f45b6d7e8ad9022c57fbdd64caa526e85cb2d0 /toplevel/topdirs.ml | |
| parent | 4d99eb1dc2a49c479ea2f54aba4815afebfe5896 (diff) | |
| download | ocaml-445b53182a679aefa1602c6fd31c43d7230e8dd0.tar.gz | |
ctype: remove instance_def which is redundant
Diffstat (limited to 'toplevel/topdirs.ml')
| -rw-r--r-- | toplevel/topdirs.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index 78295e7efb..ad192ec945 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -294,7 +294,7 @@ let match_simple_printer_type desc printer_type = let ty_arg = Ctype.newvar() in Ctype.unify !toplevel_env (Ctype.newconstr printer_type [ty_arg]) - (Ctype.instance_def desc.val_type); + (Ctype.instance desc.val_type); Ctype.end_def(); Ctype.generalize ty_arg; (ty_arg, None) @@ -312,7 +312,7 @@ let match_generic_printer_type desc path args printer_type = ty_args (Ctype.newconstr printer_type [ty_target]) in Ctype.unify !toplevel_env ty_expected - (Ctype.instance_def desc.val_type); + (Ctype.instance desc.val_type); Ctype.end_def(); Ctype.generalize ty_expected; if not (Ctype.all_distinct_vars !toplevel_env args) then |