diff options
| author | Maxime Dénès | 2017-06-15 21:54:34 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-15 21:54:34 +0200 |
| commit | 9beec0fc6cc283294bbbda363a3f788ae56347d5 (patch) | |
| tree | 2df172ba10cedaa935460eed511a9dc494d1bafa /library/declaremods.ml | |
| parent | 5b109c098a46e5083ba0cf98b5fe72312331770e (diff) | |
| parent | 63896b2443e71e47c016fc9d0709cc22cf24f288 (diff) | |
Merge PR#769: [lib] Remove obsolete state-management function add_frozen_state
Diffstat (limited to 'library/declaremods.ml')
| -rw-r--r-- | library/declaremods.ml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/library/declaremods.ml b/library/declaremods.ml index c98d4a7f31..187b749b87 100644 --- a/library/declaremods.ml +++ b/library/declaremods.ml @@ -589,7 +589,6 @@ let start_module interp_modast export id args res fs = openmod_info := { cur_typ = res_entry_o; cur_typs = subtyps }; let prefix = Lib.start_module export id mp fs in Nametab.push_dir (Nametab.Until 1) (fst prefix) (DirOpenModule prefix); - Lib.add_frozen_state (); if_xml (Hook.get f_xml_start_module) mp; mp @@ -629,7 +628,6 @@ let end_module () = assert (eq_full_path (fst newoname) (fst oldoname)); assert (ModPath.equal (mp_of_kn (snd newoname)) mp); - Lib.add_frozen_state () (* to prevent recaching *); if_xml (Hook.get f_xml_end_module) mp; mp @@ -701,7 +699,6 @@ let start_modtype interp_modast id args mtys fs = openmodtype_info := sub_mty_l; let prefix = Lib.start_modtype id mp fs in Nametab.push_dir (Nametab.Until 1) (fst prefix) (DirOpenModtype prefix); - Lib.add_frozen_state (); if_xml (Hook.get f_xml_start_module_type) mp; mp @@ -719,7 +716,6 @@ let end_modtype () = assert (eq_full_path (fst oname) (fst oldoname)); assert (ModPath.equal (mp_of_kn (snd oname)) mp); - Lib.add_frozen_state ()(* to prevent recaching *); if_xml (Hook.get f_xml_end_module_type) mp; mp @@ -894,8 +890,7 @@ let get_library_native_symbols dir = let start_library dir = let mp = Global.start_library dir in openmod_info := default_module_info; - Lib.start_compilation dir mp; - Lib.add_frozen_state () + Lib.start_compilation dir mp let end_library_hook = ref ignore let append_end_library_hook f = |