diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-10-04 02:06:40 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-10-04 02:06:40 +0000 |
| commit | 7a904bb8db40a21ba6fd24e5feed9a8dd0c32d28 (patch) | |
| tree | 2592879bacb96afc1f8e37cd0afcb7b5eb1c4c27 /toplevel/toploop.mli | |
| parent | 06d511c857fbf2f0144b1dfa88ef3cd8eb95cf37 (diff) | |
| download | ocaml-7a904bb8db40a21ba6fd24e5feed9a8dd0c32d28.tar.gz | |
make path normalization safer; now Core not only compiles but works
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/toploop.mli')
| -rw-r--r-- | toplevel/toploop.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index da607de9d7..324857a835 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -60,7 +60,7 @@ val mod_use_file : formatter -> string -> bool [use_file] prints the types and values of the results. [use_silently] does not print them. [mod_use_file] wrap the file contents into a module. *) -val eval_path: Path.t -> Obj.t +val eval_path: Env.t -> Path.t -> Obj.t (* Return the toplevel object referred to by the given path *) (* Printing of values *) |