diff options
Diffstat (limited to 'typing/typetexp.ml')
| -rw-r--r-- | typing/typetexp.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/typing/typetexp.ml b/typing/typetexp.ml index 2396e7e5fa..ac07a1a01c 100644 --- a/typing/typetexp.ml +++ b/typing/typetexp.ml @@ -66,15 +66,15 @@ let sort_constraints_no_duplicates loc env l = compare s1.txt s2.txt) l -let create_package_mty ~fake loc p l = +let create_package_mty loc p l = List.fold_left - (fun mty (s, t) -> + (fun mty (s, _) -> let d = {ptype_name = mkloc (Longident.last s.txt) s.loc; ptype_params = []; ptype_cstrs = []; ptype_kind = Ptype_abstract; ptype_private = Asttypes.Public; - ptype_manifest = if fake then None else Some t; + ptype_manifest = None; ptype_attributes = []; ptype_loc = loc} in Ast_helper.Mty.mk ~loc @@ -462,7 +462,7 @@ and transl_type_aux env policy styp = | Ptyp_package (p, l) -> let loc = styp.ptyp_loc in let l = sort_constraints_no_duplicates loc env l in - let mty = create_package_mty ~fake:true loc p l in + let mty = create_package_mty loc p l in let mty = with_local_type_variable_scope (fun () -> !transl_modtype env mty) in let ptys = List.map (fun (s, pty) -> |