diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-09-02 18:55:37 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-09-02 18:55:37 +0000 |
| commit | 7e691c81a692de687612225e0485f9b882b1ca5f (patch) | |
| tree | 3a5eb6226433376e97963fbfdfbdb0293337f38e /typing/includemod.mli | |
| parent | 756ae5b3261705296e960415f48dc8f372d4404d (diff) | |
| download | ocaml-7e691c81a692de687612225e0485f9b882b1ca5f.tar.gz | |
Meilleur traitement des variables non generalisables.
Divers nettoyages pendant l'ecriture de la doc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/includemod.mli')
| -rw-r--r-- | typing/includemod.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/includemod.mli b/typing/includemod.mli index b5589ca5db..52b97ff0ac 100644 --- a/typing/includemod.mli +++ b/typing/includemod.mli @@ -17,6 +17,7 @@ open Typedtree val modtypes: Env.t -> module_type -> module_type -> module_coercion val signatures: Env.t -> signature -> signature -> module_coercion +val compunit: string -> signature -> string -> signature -> module_coercion type error = Missing_field of Ident.t @@ -26,6 +27,7 @@ type error = Ident.t * exception_declaration * exception_declaration | Module_types of module_type * module_type | Modtype_infos of Ident.t * modtype_declaration * modtype_declaration + | Interface_mismatch of string * string exception Error of error list |