diff options
author | zett98 <p.khrystenko@gmail.com> | 2021-06-02 12:54:37 +0300 |
---|---|---|
committer | zett98 <p.khrystenko@gmail.com> | 2021-06-05 14:46:11 +0300 |
commit | d0d877a9c37fffde606c097cd16a16bc7ba79354 (patch) | |
tree | 8f51fd89a3c10dfe26252b3428e4db77e1395a5d /toplevel/topdirs.ml | |
parent | 7eaf05b3cfc6469a2f24f47a8e6e64dfa6cfaa62 (diff) | |
download | ocaml-d0d877a9c37fffde606c097cd16a16bc7ba79354.tar.gz |
added -e eval option for runtop and natruntop
Diffstat (limited to 'toplevel/topdirs.ml')
-rw-r--r-- | toplevel/topdirs.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index 21930567ac..791a15dffe 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -143,9 +143,11 @@ let load_file = Topeval.load_file false (* Load commands from a file *) -let dir_use ppf name = ignore(Toploop.use_file ppf name) +let dir_use ppf name = + ignore (Toploop.use_input ppf (Toploop.File name)) let dir_use_output ppf name = ignore(Toploop.use_output ppf name) -let dir_mod_use ppf name = ignore(Toploop.mod_use_file ppf name) +let dir_mod_use ppf name = + ignore (Toploop.mod_use_input ppf (Toploop.File name)) let _ = add_directive "use" (Directive_string (dir_use std_out)) { |