diff options
| author | Wojciech Meyer <wojciech.meyer@gmail.com> | 2012-11-18 16:16:50 +0000 |
|---|---|---|
| committer | Wojciech Meyer <wojciech.meyer@gmail.com> | 2012-11-18 16:16:50 +0000 |
| commit | bda692b6daeda7c5e7aa70a3dd3a41059261392b (patch) | |
| tree | d8f6b9bd8cb315a405926beb2abe62c95e9a1775 /toplevel/toploop.mli | |
| parent | 23502e12756fd595bbc6c408d12ca3a7a0892828 (diff) | |
| download | ocaml-bda692b6daeda7c5e7aa70a3dd3a41059261392b.tar.gz | |
PR#5825: Add a primitive to use source file wrapped in the coresponding module.
Patch by Grégoire Henry!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/toploop.mli')
| -rw-r--r-- | toplevel/toploop.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index 1b5196906f..da607de9d7 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -55,9 +55,11 @@ val execute_phrase : bool -> formatter -> Parsetree.toplevel_phrase -> bool should be printed. Uncaught exceptions are always printed. *) val use_file : formatter -> string -> bool val use_silently : formatter -> string -> bool +val mod_use_file : formatter -> string -> bool (* Read and execute commands from a file. [use_file] prints the types and values of the results. - [use_silently] does not print them. *) + [use_silently] does not print them. + [mod_use_file] wrap the file contents into a module. *) val eval_path: Path.t -> Obj.t (* Return the toplevel object referred to by the given path *) |