diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-10-29 07:54:06 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-10-29 07:54:06 +0000 |
| commit | 8fac736f31673523db0e6de7ab5cf8848cbf7663 (patch) | |
| tree | ab422a6cc9a95673648edc45a60a0f5b403d4496 /typing/typetexp.mli | |
| parent | 9fddc2ee55ba582a7755d75bfa95188ac683dd75 (diff) | |
| download | ocaml-8fac736f31673523db0e6de7ab5cf8848cbf7663.tar.gz | |
clean up and merge the patch disambiguate-with-warning from PR#5759
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typetexp.mli')
| -rw-r--r-- | typing/typetexp.mli | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/typing/typetexp.mli b/typing/typetexp.mli index ec16034f86..2d0e9a1a85 100644 --- a/typing/typetexp.mli +++ b/typing/typetexp.mli @@ -80,8 +80,14 @@ val find_type: Env.t -> Location.t -> Longident.t -> Path.t * Types.type_declaration val find_constructor: Env.t -> Location.t -> Longident.t -> Types.constructor_description +val find_all_constructors: + Env.t -> Location.t -> Longident.t -> + (Types.constructor_description * (unit -> unit)) list val find_label: Env.t -> Location.t -> Longident.t -> Types.label_description +val find_all_labels: + Env.t -> Location.t -> Longident.t -> + (Types.label_description * (unit -> unit)) list val find_value: Env.t -> Location.t -> Longident.t -> Path.t * Types.value_description val find_class: @@ -92,3 +98,6 @@ val find_modtype: Env.t -> Location.t -> Longident.t -> Path.t * Types.modtype_declaration val find_class_type: Env.t -> Location.t -> Longident.t -> Path.t * Types.class_type_declaration + +val unbound_constructor_error: Env.t -> Longident.t Location.loc -> unit +val unbound_label_error: Env.t -> Longident.t Location.loc -> unit |