diff options
Diffstat (limited to 'toplevel/toploop.mli')
| -rw-r--r-- | toplevel/toploop.mli | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli deleted file mode 100644 index 8196ac1107..0000000000 --- a/toplevel/toploop.mli +++ /dev/null @@ -1,20 +0,0 @@ -(* The interactive toplevel loop *) - -val loop: unit -> unit - -(* Interface with toplevel directives *) - -type directive_fun = - Directive_none of (unit -> unit) - | Directive_string of (string -> unit) - | Directive_int of (int -> unit) - | Directive_ident of (Longident.t -> unit) - -val directive_table: (string, directive_fun) Hashtbl.t - (* Table of known directives, with their execution function *) -val execute_phrase: Parsetree.toplevel_phrase -> unit - (* Execute the given toplevel phrase *) -val print_exception_outcome: exn -> unit - (* Print an exception resulting from the evaluation of user code. *) -val toplevel_env: Env.t ref - (* Typing environment for the toplevel *) |