Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

printtyp: cache old short path data in wrap_env

master
Florian Angeletti 2020-07-03 16:36:09 +02:00
parent 6db41e4816
commit bb186a8633
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
typing/printtyp.ml
View File

@ -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