diff options
| author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2016-11-21 17:59:42 +0900 |
|---|---|---|
| committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2016-11-21 17:59:42 +0900 |
| commit | 5352e4b633f96bf022e9eba0d0f6c9285e301cc2 (patch) | |
| tree | 6779aec4c1a8a6901dcd74851db1fa6f28d51ac9 /typing/env.ml | |
| parent | a9da36ff3276432d1fbe226f845eacf555cae8d8 (diff) | |
| download | ocaml-5352e4b633f96bf022e9eba0d0f6c9285e301cc2.tar.gz | |
Fix PR#7414 by adding Mtype.lower_nongen
Diffstat (limited to 'typing/env.ml')
| -rw-r--r-- | typing/env.ml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/typing/env.ml b/typing/env.ml index 32aa3fe9d0..65035ee8bc 100644 --- a/typing/env.ml +++ b/typing/env.ml @@ -1383,12 +1383,8 @@ let prefix_idents_and_subst root sub sg = let (pl, sub) = prefix_idents root 0 sub sg in pl, sub, lazy (subst_signature sub sg) -let set_nongen_level sub path = - Subst.set_nongen_level sub (Path.binding_time path - 1) - let prefix_idents_and_subst root sub sg = - let sub = set_nongen_level sub root in - if sub = set_nongen_level Subst.identity root then + if sub = Subst.identity then let sgs = try Hashtbl.find prefixed_sg root @@ -1506,7 +1502,7 @@ and components_of_module_maker (env, sub, path, mty) = (* fcomp_arg and fcomp_res must be prefixed eagerly, because they are interpreted in the outer environment *) fcomp_arg = may_map (Subst.modtype sub) ty_arg; - fcomp_res = Subst.modtype (set_nongen_level sub path) ty_res; + fcomp_res = Subst.modtype sub ty_res; fcomp_cache = Hashtbl.create 17; fcomp_subst_cache = Hashtbl.create 17 } | Mty_ident _ |