diff options
| author | Leo White <lpw25@cl.cam.ac.uk> | 2016-10-06 10:46:55 +0100 |
|---|---|---|
| committer | Leo White <lpw25@cl.cam.ac.uk> | 2016-10-06 10:46:55 +0100 |
| commit | a2d97eccac31b4bcea57021b107bfddba72f363c (patch) | |
| tree | 7e37f03568f4c39c5e2299e493d49ca9abb1f92b | |
| parent | 771e488542b085ae05804aea51c83ecb6b8dd26a (diff) | |
| parent | 9102f16c3de63c08991070bea4eb8058e5da07cb (diff) | |
| download | ocaml-a2d97eccac31b4bcea57021b107bfddba72f363c.tar.gz | |
Merge branch 'patch/fix-alias-coercions' into 4.03.0+vanilla
| -rw-r--r-- | typing/includemod.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/includemod.ml b/typing/includemod.ml index 336dadf7fd..1ff9da4ca7 100644 --- a/typing/includemod.ml +++ b/typing/includemod.ml @@ -410,7 +410,7 @@ and signature_components old_env env cxt subst paired = let p1 = Pident id1 in let cc = modtypes env (Module id1::cxt) subst - (Mtype.strengthen ~aliasable:true env mty1.md_type p1) mty2.md_type + (Mtype.strengthen ~aliasable:false env mty1.md_type p1) mty2.md_type in (pos, cc) :: comps_rec rem | (Sig_modtype(id1, info1), Sig_modtype(id2, info2), pos) :: rem -> |