diff options
| author | Takafumi Saikawa <tscompor@gmail.com> | 2022-12-16 15:03:24 +0900 |
|---|---|---|
| committer | Takafumi Saikawa <tscompor@gmail.com> | 2022-12-27 17:06:56 +0900 |
| commit | 060b4643ce70289345c59d547fe884464c61554c (patch) | |
| tree | 1f432cfab10ce8ae18b9e4f786a13e1413e3568b /toplevel/topdirs.ml | |
| parent | 3a705864546d5a911351c377fc5cf999db00eaec (diff) | |
| download | ocaml-060b4643ce70289345c59d547fe884464c61554c.tar.gz | |
rename wrap_def -> with_local_level, etc.
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 7997802855..6eb519b97b 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -232,7 +232,7 @@ let match_simple_printer_type desc ~is_old_style = else Topprinters.printer_type_new in match - Ctype.wrap_def ~post:Ctype.generalize begin fun () -> + Ctype.with_local_level ~post:Ctype.generalize begin fun () -> let ty_arg = Ctype.newvar() in Ctype.unify !toplevel_env (make_printer_type ty_arg) @@ -249,7 +249,7 @@ let match_simple_printer_type desc ~is_old_style = let match_generic_printer_type desc ty_path params = let make_printer_type = Topprinters.printer_type_new in match - Ctype.wrap_def ~post:(List.iter Ctype.generalize) begin fun () -> + Ctype.with_local_level ~post:(List.iter Ctype.generalize) begin fun () -> let args = List.map (fun _ -> Ctype.newvar ()) params in let ty_target = Ctype.newty (Tconstr (ty_path, args, ref Mnil)) in let printer_args_ty = |