diff options
Diffstat (limited to 'typing/includemod.ml')
| -rw-r--r-- | typing/includemod.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/typing/includemod.ml b/typing/includemod.ml index 15a42d97d2..3d87200533 100644 --- a/typing/includemod.ml +++ b/typing/includemod.ml @@ -283,11 +283,12 @@ and check_modtype_equiv env mty1 mty2 = (Tcoerce_none, Tcoerce_none) -> () | (_, _) -> raise(Error [Modtype_permutation]) -(* Simplified inclusion check between module types *) +(* Simplified inclusion check between module types (for Env) *) -let check_modtype_inclusion env mty1 mty2 = +let check_modtype_inclusion env mty1 path1 mty2 = try - ignore(modtypes env Subst.identity mty1 mty2) + ignore(modtypes env Subst.identity + (Mtype.strengthen env mty1 path1) mty2) with Error reasons -> raise Not_found |