diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2005-08-08 09:41:52 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2005-08-08 09:41:52 +0000 |
commit | 0ba310639994de37ef4fac8d79c3912654effad7 (patch) | |
tree | 3726ea2fafc7b05534a2ef6088963b827f9d6049 /typing/typemod.mli | |
parent | 5640bb83d729a6a209e13c5125af47df0e874e96 (diff) | |
download | ocaml-0ba310639994de37ef4fac8d79c3912654effad7.tar.gz |
Retour en arriere sur la simplification des signatures inferees (fix du PR#3545 du 2005-08-02), qui est completement bugge
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typemod.mli')
-rw-r--r-- | typing/typemod.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/typemod.mli b/typing/typemod.mli index 45ba03db0a..72823ac082 100644 --- a/typing/typemod.mli +++ b/typing/typemod.mli @@ -29,6 +29,8 @@ val transl_signature: val check_nongen_schemes: Env.t -> Typedtree.structure -> unit +val simplify_signature: signature -> signature + val package_units: string list -> string -> string -> Typedtree.module_coercion |