dev-ml/ppx_fields_conv: fix build with ocaml 4.03

Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier <aballier@gentoo.org>

2 files changed, 227 insertions, 0 deletions

diff --git a/dev-ml/ppx_fields_conv/files/oc43.patch b/dev-ml/ppx_fields_conv/files/oc43.patch
new file mode 100644
index 000000000000..f1cc40c1501f
--- /dev/null
+++ b/dev-ml/ppx_fields_conv/files/oc43.patch
@@ -0,0 +1,223 @@
+diff -uNr ppx_fields_conv-113.33.00/_oasis ppx_fields_conv-113.33.00+4.03/_oasis
+--- ppx_fields_conv-113.33.00/_oasis	2016-03-09 16:44:54.000000000 +0100
++++ ppx_fields_conv-113.33.00+4.03/_oasis	2016-03-22 15:13:50.000000000 +0100
+@@ -1,8 +1,8 @@
+ OASISFormat:      0.4
+-OCamlVersion:     >= 4.02.3
++OCamlVersion:     >= 4.03.0
+ FindlibVersion:   >= 1.3.2
+ Name:             ppx_fields_conv
+-Version:          113.33.00
++Version:          113.33.00+4.03
+ Synopsis:         Generation of accessor and iteration functions for ocaml records
+ Authors:          Jane Street Group, LLC <opensource@janestreet.com>
+ Copyrights:       (C) 2015-2016 Jane Street Group LLC <opensource@janestreet.com>
+diff -uNr ppx_fields_conv-113.33.00/opam ppx_fields_conv-113.33.00+4.03/opam
+--- ppx_fields_conv-113.33.00/opam	2016-03-18 12:08:01.000000000 +0100
++++ ppx_fields_conv-113.33.00+4.03/opam	2016-03-22 17:51:36.000000000 +0100
+@@ -17,4 +17,4 @@
+   "ppx_tools"     {>= "0.99.3"}
+   "ppx_type_conv"
+ ]
+-available: [ ocaml-version >= "4.02.3" ]
++available: [ ocaml-version >= "4.03.0" ]
+diff -uNr ppx_fields_conv-113.33.00/src/ppx_fields_conv.ml ppx_fields_conv-113.33.00+4.03/src/ppx_fields_conv.ml
+--- ppx_fields_conv-113.33.00/src/ppx_fields_conv.ml	2016-03-09 16:44:54.000000000 +0100
++++ ppx_fields_conv-113.33.00+4.03/src/ppx_fields_conv.ml	2016-03-22 15:13:50.000000000 +0100
+@@ -18,7 +18,7 @@
+ module A = struct (* Additional AST construction helpers *)
+ 
+   let exp_string : (loc:Location.t -> string -> expression) = fun ~loc s ->
+-    pexp_constant ~loc (Const_string (s,None))
++    pexp_constant ~loc (Pconst_string (s,None))
+ 
+   let pat_name : (loc:Location.t -> string -> pattern) = fun ~loc name ->
+     ppat_var ~loc (Location.mkloc name loc)
+@@ -115,10 +115,10 @@
+   let apply_type ~loc ~ty_name ~tps =
+     ptyp_constr ~loc (A.lid_name ~loc ty_name) tps
+ 
+-  let label_arg name ty = (name,ty)
++  let label_arg name ty = (Asttypes.Labelled name,ty)
+ 
+   let field_arg ~loc ~private_ ~record
+-      (f: field:core_type -> ty:core_type -> 'a) labdec : string * 'a =
++      (f: field:core_type -> ty:core_type -> 'a) labdec : Asttypes.arg_label * 'a =
+     let {pld_name=name; pld_type=ty; _} = labdec in
+     label_arg name.txt (
+       f ~field:(field_t ~loc private_ [record; ty]) ~ty)
+@@ -133,7 +133,7 @@
+     let types = List.mapi labdecs ~f in
+     let create_record_f = [%type:  'input__ -> ([%t record]) ] in
+     let t = Create.lambda_sig ~loc
+-      (types @ [ "", acc 0 ])
++      (types @ [ Nolabel, acc 0 ])
+       ([%type:  ( [%t create_record_f] * [%t acc (List.length labdecs)]) ])
+     in
+     A.sig_item ~loc "make_creator" t
+@@ -153,7 +153,7 @@
+     let acc i =
+       ptyp_var ~loc ("acc__" ^ string_of_int i)
+     in
+-    let f i arg : (string * core_type) =
++    let f i arg : (Asttypes.arg_label * core_type) =
+       field_arg ~loc ~private_ ~record (fun ~field ~ty:_ ->
+         [%type:  [%t acc i] -> [%t field] -> [%t acc (i+1)]]) arg
+     in
+@@ -177,7 +177,7 @@
+     let types = List.mapi labdecs ~f in
+     let init_ty = label_arg "init" (acc 0) in
+     let t =
+-      Create.lambda_sig ~loc (("",record) :: init_ty :: types) (acc (List.length labdecs))
++      Create.lambda_sig ~loc ((Nolabel,record) :: init_ty :: types) (acc (List.length labdecs))
+     in
+       A.sig_item ~loc "fold" t
+ 
+@@ -194,7 +194,7 @@
+     let f = field_arg ~loc ~private_ ~record (fun ~field ~ty:field_ty ->
+       [%type:  [%t field] -> [%t record] -> [%t field_ty] -> bool ] ) in
+     let types = List.map labdecs ~f in
+-    let t = Create.lambda_sig ~loc (("",record) :: types) [%type:  bool ] in
++    let t = Create.lambda_sig ~loc ((Nolabel,record) :: types) [%type:  bool ] in
+     A.sig_item ~loc fun_name t
+ 
+   let iter_fun ~private_ ~ty_name ~tps ~loc labdecs =
+@@ -210,7 +210,7 @@
+     let f = field_arg ~loc ~private_ ~record (fun ~field ~ty:field_ty ->
+       [%type:  [%t field] -> [%t record] -> [%t field_ty] -> unit ]) in
+     let types = List.map labdecs ~f in
+-    let t = Create.lambda_sig ~loc (("",record) :: types) [%type:  unit ] in
++    let t = Create.lambda_sig ~loc ((Nolabel,record) :: types) [%type:  unit ] in
+     A.sig_item ~loc "iter" t
+ 
+   let to_list_fun ~private_ ~ty_name ~tps ~loc labdecs =
+@@ -227,7 +227,7 @@
+     let f = field_arg ~loc ~private_ ~record (fun ~field ~ty:field_ty ->
+       [%type:  [%t field] -> [%t record] -> [%t field_ty] -> 'elem__ ]) in
+     let types = List.map labdecs ~f in
+-    let t = Create.lambda_sig ~loc (("",record) :: types) [%type:  'elem__ list] in
++    let t = Create.lambda_sig ~loc ((Nolabel,record) :: types) [%type:  'elem__ list] in
+     A.sig_item ~loc "to_list" t
+ 
+   let map_fun ~ty_name ~tps ~loc labdecs =
+@@ -243,7 +243,7 @@
+     let f = field_arg ~loc ~private_:Public ~record (fun ~field ~ty:field_ty ->
+       [%type:  [%t field] -> [%t record] -> [%t field_ty] -> [%t field_ty] ]) in
+     let types = List.map labdecs ~f in
+-    let t = Create.lambda_sig ~loc (("",record) :: types) record in
++    let t = Create.lambda_sig ~loc ((Nolabel,record) :: types) record in
+     A.sig_item ~loc "map" t
+ 
+   let map_poly ~private_ ~ty_name ~tps ~loc _ =
+@@ -281,7 +281,7 @@
+       List.fold_right labdecs ~init:[%type: unit] ~f:(fun labdec acc ->
+         match labdec.pld_mutable with
+         | Immutable -> acc
+-        | Mutable -> ptyp_arrow ~loc labdec.pld_name.txt labdec.pld_type acc
++        | Mutable -> ptyp_arrow ~loc (Labelled labdec.pld_name.txt) labdec.pld_type acc
+       )
+     in
+     A.sig_item ~loc "set_all_mutable_fields" [%type: [%t record] -> [%t labels]]
+@@ -440,7 +440,7 @@
+       match label with
+       | None    -> name
+       | Some n  -> n in
+-    l,
++    (Labelled l),
+     A.pat_name ~loc name
+ 
+   let label_arg_fun ~loc name =
+@@ -460,7 +460,7 @@
+                 ~expr:[%expr [%e A.exp_name ~loc (field_name ^ "_gen__")] acc__]
+             ] acc)
+       in
+-      Create.lambda ~loc [ ("",[%pat? acc__ ]) ] body
++      Create.lambda ~loc [ (Nolabel,[%pat? acc__ ]) ] body
+     in
+     let patterns = List.map names ~f:(label_arg_fun ~loc) in
+     let body0 = [%expr ([%e f], compile_acc__) ] in
+@@ -480,7 +480,7 @@
+                   compile_acc__]
+           ] acc)
+     in
+-    let f = Create.lambda ~loc (patterns @ [ ("",[%pat? compile_acc__ ]) ]) body in
++    let f = Create.lambda ~loc (patterns @ [ (Nolabel,[%pat? compile_acc__ ]) ]) body in
+     A.str_item ~loc "make_creator" f
+ 
+   let simple_creation_fun ~loc _record_name labdecs =
+@@ -515,7 +515,7 @@
+     let body = List.fold_left names ~init:[%expr init__ ] ~f:field_fold in
+     let patterns = List.map names ~f:(label_arg_fun ~loc) in
+     let init = label_arg ~label:"init" ~loc "init__" in
+-    let lambda = Create.lambda ~loc ( ("",[%pat? record__ ]) :: init :: patterns ) body in
++    let lambda = Create.lambda ~loc ( (Nolabel,[%pat? record__ ]) :: init :: patterns ) body in
+     A.str_item ~loc "fold" lambda
+ 
+   let and_fun ~loc labdecs =
+@@ -540,7 +540,7 @@
+     in
+     let body = List.fold_left names ~init:(A.exp_true ~loc) ~f:field_fold in
+     let patterns = List.map names ~f:(label_arg_fun ~loc) in
+-    let lambda = Create.lambda ~loc (("",[%pat? record__ ]) :: patterns) body in
++    let lambda = Create.lambda ~loc ((Nolabel,[%pat? record__ ]) :: patterns) body in
+     A.str_item ~loc "for_all" lambda
+ 
+   let or_fun ~loc labdecs =
+@@ -566,7 +566,7 @@
+     let body =
+       List.fold_left names ~init:[%expr false ] ~f:field_fold in
+     let patterns = List.map names ~f:(label_arg_fun ~loc) in
+-    let lambda = Create.lambda ~loc (("",[%pat? record__ ]) :: patterns) body in
++    let lambda = Create.lambda ~loc ((Nolabel,[%pat? record__ ]) :: patterns) body in
+     A.str_item ~loc "exists" lambda
+ 
+   let iter_fun ~loc labdecs =
+@@ -599,7 +599,7 @@
+         ~init:(iter_field (List.hd names))
+         ~f:(fun acc n -> [%expr ( [%e acc] ; [%e iter_field n] ) ]) in
+     let patterns = List.map names ~f:(label_arg_fun ~loc) in
+-    let lambda = Create.lambda ~loc (("",[%pat? record__ ]) :: patterns) body in
++    let lambda = Create.lambda ~loc ((Nolabel,[%pat? record__ ]) :: patterns) body in
+     A.str_item ~loc "iter" lambda
+ 
+   let map_fun ~loc labdecs =
+@@ -624,7 +624,7 @@
+       in (field_name, e )))
+     in
+     let patterns = List.map names ~f:(label_arg_fun ~loc) in
+-    let lambda = Create.lambda ~loc (("",[%pat? record__ ]) :: patterns) body in
++    let lambda = Create.lambda ~loc ((Nolabel,[%pat? record__ ]) :: patterns) body in
+     A.str_item ~loc "map" lambda
+ 
+   let to_list_fun ~loc labdecs =
+@@ -649,7 +649,7 @@
+           :: [%e tail] ]
+     in
+     let body = List.fold_right names ~init:[%expr [ ] ] ~f:fold in
+-    let lambda = Create.lambda ~loc (("",[%pat? record__ ]) :: patterns) body in
++    let lambda = Create.lambda ~loc ((Nolabel,[%pat? record__ ]) :: patterns) body in
+     A.str_item ~loc "to_list" lambda
+ 
+   let map_poly ~loc labdecs =
+@@ -658,7 +658,7 @@
+       [%expr record__.Fieldslib.Field.f [%e A.exp_name ~loc name] :: [%e acc] ]
+     in
+     let body = List.fold_right names ~init:[%expr []] ~f:fold in
+-    A.str_item ~loc "map_poly" (pexp_fun ~loc "" None [%pat? record__] body)
++    A.str_item ~loc "map_poly" (pexp_fun ~loc Nolabel None [%pat? record__] body)
+ 
+   let sequence_ ~loc xs =
+     match (List.rev xs) with
+@@ -688,10 +688,10 @@
+         | Immutable -> acc
+         | Mutable ->
+           let field_name = labdec.pld_name.txt in
+-          pexp_fun ~loc field_name None (A.pat_name ~loc field_name) acc)
++          pexp_fun ~loc (Labelled field_name) None (A.pat_name ~loc field_name) acc)
+     in
+     A.str_item ~loc "set_all_mutable_fields" (
+-      pexp_fun ~loc "" None (A.pat_name ~loc record_name) function_)
++      pexp_fun ~loc Nolabel None (A.pat_name ~loc record_name) function_)
+ 
+   let record ~private_ ~record_name ~loc (labdecs:label_declaration list) : structure =
+     let getter_and_setters, fields = gen_fields ~private_ ~loc labdecs in
diff --git a/dev-ml/ppx_fields_conv/ppx_fields_conv-113.33.00.ebuild b/dev-ml/ppx_fields_conv/ppx_fields_conv-113.33.00.ebuild
index 67db485a0326..4dc7d72471be 100644
--- a/dev-ml/ppx_fields_conv/ppx_fields_conv-113.33.00.ebuild
+++ b/dev-ml/ppx_fields_conv/ppx_fields_conv-113.33.00.ebuild
@@ -24,6 +24,10 @@ DEPEND="
 RDEPEND="${DEPEND}"
 DEPEND="${DEPEND} dev-ml/opam"
 
+src_prepare() {
+	has_version '>=dev-lang/ocaml-4.03' && epatch "${FILESDIR}/oc43.patch"
+}
+
 src_configure() {
 	emake setup.exe
 	OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure