diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-02-08 02:56:04 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-02-08 02:56:04 +0000 |
| commit | 128824233b3fdcc4ab0bb1632fbf45d491836e38 (patch) | |
| tree | 3d2c36e91b9bc56d308070c1b3bb80da39f86bb8 /toplevel/toploop.mli | |
| parent | 7aa1ccc59e984cd753bcb06c733088061a30f6a7 (diff) | |
| download | ocaml-128824233b3fdcc4ab0bb1632fbf45d491836e38.tar.gz | |
add object loading from command-line
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4363 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 e14bbf64af..39b4784ee4 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -20,6 +20,10 @@ open Format val getvalue : string -> Obj.t val setvalue : string -> Obj.t -> unit +(* Set the load paths, before running anything *) + +val set_paths : unit -> unit + (* The interactive toplevel loop *) val loop : formatter -> unit |