diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-01-15 18:28:06 +0100 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-01-15 21:51:18 +0100 |
| commit | 952e762c8fec54854f19f1852547f6a513a0a975 (patch) | |
| tree | 9981a34ff6742030046994976c95b08a7f9b3c5f /typing | |
| parent | 82ec31eabbf3ac310f835ba6cd060d6fbbf2df23 (diff) | |
| download | ocaml-952e762c8fec54854f19f1852547f6a513a0a975.tar.gz | |
[refactoring] typetexp: [create_package_type] always takes [~fake:true]
Diffstat (limited to 'typing')
| -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) -> |