diff options
Diffstat (limited to 'src/boot/fe/cexp.ml')
| -rw-r--r-- | src/boot/fe/cexp.ml | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/boot/fe/cexp.ml b/src/boot/fe/cexp.ml index f69d35bd..e14bda51 100644 --- a/src/boot/fe/cexp.ml +++ b/src/boot/fe/cexp.ml @@ -380,6 +380,7 @@ and eval_cexp (env:env) (exp:cexp) : cdir array = ps.pstate_temp_id ps.pstate_node_id ps.pstate_opaque_id + ps.pstate_crate_cache ps.pstate_sess ps.pstate_get_mod ps.pstate_get_cenv_tok @@ -427,7 +428,12 @@ and eval_cexp (env:env) (exp:cexp) : cdir array = end u.use_meta in - ps.pstate_get_mod meta_pat id ps.pstate_node_id ps.pstate_opaque_id + ps.pstate_get_mod + meta_pat + id + ps.pstate_node_id + ps.pstate_opaque_id + ps.pstate_crate_cache in iflog ps begin @@ -618,6 +624,7 @@ let parse_crate_file (sess:Session.sess) (get_mod:get_mod_fn) (infer_lib_name:(Ast.ident -> filename)) + (crate_cache:(crate_id, Ast.mod_items) Hashtbl.t) : Ast.crate = let fname = Session.filename_of sess.Session.sess_in in let tref = ref (Temp 0) in @@ -659,7 +666,7 @@ let parse_crate_file | Some (PVAL_num n) -> LIT_INT n in let ps = - make_parser tref nref oref sess get_mod get_cenv_tok + make_parser tref nref oref crate_cache sess get_mod get_cenv_tok infer_lib_name required required_syms fname in let env = { env_bindings = bindings; @@ -723,6 +730,7 @@ let parse_src_file (sess:Session.sess) (get_mod:get_mod_fn) (infer_lib_name:(Ast.ident -> filename)) + (crate_cache:(crate_id, Ast.mod_items) Hashtbl.t) : Ast.crate = let fname = Session.filename_of sess.Session.sess_in in let tref = ref (Temp 0) in @@ -735,7 +743,7 @@ let parse_src_file ident) ps) in let ps = - make_parser tref nref oref sess get_mod get_cenv_tok + make_parser tref nref oref crate_cache sess get_mod get_cenv_tok infer_lib_name required required_syms fname in with_err_handling sess |