diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2004-05-15 09:59:37 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2004-05-15 09:59:37 +0000 |
| commit | 759292a43c82ed96f32218901f7c8f2c72c462c2 (patch) | |
| tree | deb4c9c7b33bcaf4e12ce0367d7c10dc2851edc6 /toplevel/toploop.mli | |
| parent | a85d839fa0d083b61c310bdc575ffdb82fe24087 (diff) | |
| download | ocaml-759292a43c82ed96f32218901f7c8f2c72c462c2.tar.gz | |
Introduction d'un hook pour la lecture des entrees interactives
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/toploop.mli')
| -rw-r--r-- | toplevel/toploop.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index 18372c6bda..6b25941c83 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -98,6 +98,10 @@ val print_out_signature : val print_out_phrase : (formatter -> Outcometree.out_phrase -> unit) ref +(* Hooks for external line editor *) + +val read_interactive_input : (string -> string -> int -> int * bool) ref + (* Hooks for initialization *) val toplevel_startup_hook : (unit -> unit) ref |