From bb186a8633cb3107fcff7287664465470de90946 Mon Sep 17 00:00:00 2001 From: Florian Angeletti Date: Fri, 3 Jul 2020 16:36:09 +0200 Subject: [PATCH] printtyp: cache old short path data in wrap_env --- typing/printtyp.ml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 07b22e673..18a3e13b0 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -1584,8 +1584,18 @@ let cltype_declaration id ppf cl = let wrap_env fenv ftree arg = let env = !printing_env in + let old_depth = !printing_depth in + let old_cont = !printing_cont in + let old_pers = !printing_pers in + let old_map = !printing_map in set_printing_env (fenv env); let tree = ftree arg in + printing_depth := old_depth; + printing_cont := old_cont; + printing_pers := old_pers; + printing_map := old_map; + printing_old := env; + (* set_printing_env checks that persistent modules did not change *) set_printing_env env; tree