Fix validation multiple derivers

dune-project

@@ -17,4 +17,5 @@
  (depends
   (ppxlib (>= 0.10.0))
   (ounit2 :with-test)
+  (ppx_show :with-test)
   (bisect_ppx :with-test)))

ppx_make.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.3"
+version: "0.3.4"
 synopsis: "[@@deriving make]"
 description: "[@@deriving] plugin to generate make functions"
 maintainer: ["Boning <me@boni.ng>"]
@@ -13,6 +13,7 @@ depends: [
   "dune" {>= "2.7"}
   "ppxlib" {>= "0.10.0"}
   "ounit2" {with-test}
+  "ppx_show" {with-test}
   "bisect_ppx" {with-test}
   "odoc" {with-doc}
 ]

src/utils.ml

@@ -17,13 +17,21 @@ let unsupported_error str { txt; loc } =
   Location.raise_errorf ~loc "%s %s cannot be derived" str txt
 
 let has_make_attr ({ ptype_attributes; _ } : type_declaration) =
-  let is_make = function [%stri make] -> true | _ -> false in
+  let is_make = function [%expr make] -> true | _ -> false in
   List.exists
     (fun (attr : attribute) ->
       (attr.attr_name.txt = "deriving" || attr.attr_name.txt = "deriving_inline")
       &&
       match attr.attr_payload with
-      | PStr items -> List.exists is_make items
+      | PStr [ { pstr_desc = Pstr_eval ([%expr make], _); _ } ] -> true
+      | PStr
+          [
+            {
+              pstr_desc = Pstr_eval ({ pexp_desc = Pexp_tuple exprs; _ }, _);
+              _;
+            };
+          ] ->
+          List.exists is_make exprs
       | _ -> false)
     ptype_attributes
 

test/dune

@@ -1,5 +1,5 @@
 (test
  (name test_make)
  (preprocess
-  (pps ppx_make))
- (libraries ounit2))
+  (pps ppx_make ppx_show))
+ (libraries ounit2 ppx_show.runtime))

test/misc_types.ml

@@ -1,3 +1,3 @@
 (* https://github.com/bn-d/ppx_make/issues/12 *)
-type a = { i : int } [@@deriving make]
+type a = { i : int } [@@deriving make, show]
 and b = int

test/test_make.ml

@@ -1,3 +1,7 @@
+let test_multiple_type_decl _ =
+  let open Misc_types in
+  OUnit.assert_equal { i = 1 } @@ make_a ~i:1 ()
+
 let _ =
   let open OUnit2 in
   run_test_tt_main
@@ -8,4 +12,5 @@ let _ =
            Test_make_record.suite;
            Test_make_tuple.suite;
            Test_make_variant.suite;
+           "test_multiple_type_decl" >:: test_multiple_type_decl;
          ])