diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-12-20 06:55:26 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-12-20 06:55:26 +0000 |
| commit | d90b126bd428999d767ef4db4c5d3b05eb27c345 (patch) | |
| tree | 237a045f93257e65ea8b9276d18e79973b5775f7 /typing/env.mli | |
| parent | c20af454f38f13d7dd3b417e293335fcc82e479f (diff) | |
| download | ocaml-module-alias.tar.gz | |
Add -trans-mod option for transparent module dependencies.module-alias
Without that option, dependencies are strict, both for
typing and linking.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/env.mli')
| -rw-r--r-- | typing/env.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/typing/env.mli b/typing/env.mli index 5abf11a449..888869ebfc 100644 --- a/typing/env.mli +++ b/typing/env.mli @@ -64,7 +64,11 @@ val is_functor_arg: Path.t -> t -> bool val normalize_path: Location.t option -> t -> Path.t -> Path.t (* Normalize the path to a concrete value or module. If the option is None, allow returning dangling paths. - Otherwise raise a Missing_module error. *) + Otherwise raise a Missing_module error, and may add forgotten + head as required global. *) +val reset_required_globals: unit -> unit +val get_required_globals: unit -> Ident.t list +val add_required_global: Ident.t -> unit val has_local_constraints: t -> bool val add_gadt_instance_level: int -> t -> t |