diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2022-10-06 15:26:06 +0200 |
---|---|---|
committer | octachron <octa@polychoron.fr> | 2022-10-13 15:49:49 +0200 |
commit | 7fec5a465204046003c6989435321a279cdbafb3 (patch) | |
tree | 1a4ff10f4d84dd595b7ff52033983495bc228465 /typing/printtyp.ml | |
parent | 0beab3727ad2dba119a906819f34bd7dea1441f6 (diff) | |
download | ocaml-7fec5a465204046003c6989435321a279cdbafb3.tar.gz |
Printtyp: new function for extending set of prepared type
and use this new function in class error messages.
Diffstat (limited to 'typing/printtyp.ml')
-rw-r--r-- | typing/printtyp.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index b0bf36cebd..7e87cd4734 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -1058,7 +1058,10 @@ let reset () = reset_except_context () let prepare_for_printing tyl = - reset_except_context (); List.iter prepare_type tyl + reset_except_context (); + List.iter prepare_type tyl + +let add_type_to_preparation = prepare_type (* Disabled in classic mode when printing an unification error *) let print_labels = ref true |