builds now

flake.nix

@@ -7,10 +7,15 @@
       in {
         devShell = pkgs.mkShell {
           inputsFrom = with flakePkgs; [ main ];
-          packages = (with pkgs; [ ]) ++ (with pkgs.ocamlPackages; [ocaml-lsp ppxlib
+          packages = (with pkgs; [
-          alcotest
+inotify-tools
-          yojson
+           ]) ++ (with pkgs.ocamlPackages; [
-          ezjsonm
+            ocaml-lsp
+            ppxlib
+            ppx_deriving
+            alcotest
+            yojson
+            ezjsonm
           ]);
         };
       });

lib/dune

@@ -1,6 +1,5 @@
 (library
- (name ppx_poplpaper)
+ (name ppx_poplpaper_lib)
- (public_name ppx_poplpaper)
+ (public_name ppx_poplpaper._lib)
- (kind ppx_rewriter)
  (libraries ppxlib)
  (preprocess (pps ppxlib.metaquot)))

lib/ppx_poplpaper.ml

@@ -1,19 +0,0 @@
-(* https://tarides.com/blog/2019-05-09-an-introduction-to-ocaml-ppx-ecosystem/ *)
-
-open Ppxlib
-
-let expand ~ctxt:_ (expr: expression) =
-  expr
-
-let ext = Extension.V3.declare
-  "monomorphic"
-  Extension.Context.expression
-  Ast_pattern.(single_expr_payload __)
-  expand
-
-let rule = Context_free.Rule.extension ext
-
-let () =
-  Driver.register_transformation
-    ~rules:[rule]
-    "monomorphic"

rewriter/dune

@@ -0,0 +1,6 @@
+(library
+ (name ppx_poplpaper)
+ (public_name ppx_poplpaper)
+ (kind ppx_deriver)
+ (libraries ppxlib ppx_deriving.api ppx_poplpaper_lib)
+ (preprocess (pps ppxlib.metaquot)))

rewriter/ppx_poplpaper.ml

@@ -0,0 +1,20 @@
+(* https://tarides.com/blog/2019-05-09-an-introduction-to-ocaml-ppx-ecosystem/ *)
+(* https://ocaml-ppx.github.io/ppxlib/ppxlib/writing-ppxs.html#extenders *)
+
+open Ppxlib
+
+let context = Extension.Context.expression
+
+let extender_name = "monomorphic"
+
+let extracter () = Ast_pattern.(single_expr_payload __)
+
+let expander ~ctxt (_: expression) =
+  let loc = Expansion_context.Extension.extension_point_loc ctxt in
+  [%expr 5]
+
+let my_extender = Extension.V3.declare extender_name context (extracter()) expander
+
+let extender_rule = Context_free.Rule.extension my_extender
+
+let _ = Driver.register_transformation ~rules:[extender_rule] "polycheck"

test/rewriter/test.ml

@@ -0,0 +1,4 @@
+let prop0 (f : 'a -> 'b) (xs : 'a List.t) : bool =
+  List.length (List.map f xs) = 0
+
+let mono_prop0 = [%monomorphic prop0]

test/test.ml

@@ -1,2 +0,0 @@
-let%monomorphic prop0 (f : 'a -> 'b) (xs : 'a List.t) : bool =
-  List.length (List.map f xs) = 0