diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-07-25 15:45:14 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-07-25 15:45:14 +0000 |
| commit | 8662b6797c75ee54f7bd978171b40e51e52407bc (patch) | |
| tree | e66d12f62265b09cdaddbfa8789aeed51d5a9b1d | |
| parent | 6970e8c7fade6ae75bb0218179850a1407eba384 (diff) | |
Exporter initialize_toplevel_env (reclame par Maxence pour son toplevel graphique)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | toplevel/toploop.ml | 5 | ||||
| -rw-r--r-- | toplevel/toploop.mli | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index 45c826b84..3b96c3ae2 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -357,13 +357,16 @@ let set_paths () = load_path := "" :: (List.rev !Clflags.include_dirs @ !load_path); Dll.add_path !load_path +let initialize_toplevel_env () = + toplevel_env := Compile.initial_env() + (* The interactive loop *) exception PPerror let loop ppf = fprintf ppf " Objective Caml version %s@.@." Config.version; - toplevel_env := Compile.initial_env(); + initialize_toplevel_env (); let lb = Lexing.from_function refill_lexbuf in Location.input_name := ""; Location.input_lexbuf := Some lb; diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index 4c3ca35d4..14be3afed 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -46,6 +46,8 @@ val directive_table : (string, directive_fun) Hashtbl.t (* Table of known directives, with their execution function *) val toplevel_env : Env.t ref (* Typing environment for the toplevel *) +val initialize_toplevel_env : unit -> unit + (* Initialize the typing environment for the toplevel *) val print_exception_outcome : formatter -> exn -> unit (* Print an exception resulting from the evaluation of user code. *) val execute_phrase : bool -> formatter -> Parsetree.toplevel_phrase -> bool |