diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-10-01 12:31:24 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-10-01 12:31:24 +0000 |
| commit | 8feec4d2aab699a1fb2bfc63bf87ed93cbbbe940 (patch) | |
| tree | 39bd7aa539dfa3b897866ec21ac838b344f9ca43 | |
| parent | e75745511527fb7266e347945c54b9963046f27a (diff) | |
The path under Tpackage doesn't refer to a type path (but to a module type path).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/ctype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index 78852a439..04d456b85 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -775,7 +775,7 @@ let rec update_level env level ty = if level < get_level env p then raise (Unify [(ty, newvar2 level)]); iter_type_expr (update_level env level) ty end - | Tpackage (p, nl, tl) when level < get_level env p -> + | Tpackage (p, nl, tl) when level < Path.binding_time p -> let p' = normalize_package_path env p in if Path.same p p' then raise (Unify [(ty, newvar2 level)]); log_type ty; ty.desc <- Tpackage (p', nl, tl); |