diff options
Diffstat (limited to 'patches/fix_newer_ppxlib.patch')
-rw-r--r-- | patches/fix_newer_ppxlib.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/patches/fix_newer_ppxlib.patch b/patches/fix_newer_ppxlib.patch new file mode 100644 index 0000000..469dff7 --- /dev/null +++ b/patches/fix_newer_ppxlib.patch @@ -0,0 +1,15 @@ +Description: compile with a newer ppxlib +Author: Sonja Heinze +Forwarded: upstream 77e1be9f4ec630908a339fd614e416d0dbd77cf5 + +--- obus.orig/src/ppx/ppx_obus.ml ++++ obus/src/ppx/ppx_obus.ml +@@ -42,7 +42,7 @@ + in () + ] in + (match exn.ptyexn_constructor.pext_kind with +- | Pext_decl (Pcstr_tuple [typ], None) -> ++ | Pext_decl (_, Pcstr_tuple [typ], None) -> + Some (registerer typ) + | _ -> + Location.raise_errorf ~loc:pstr_loc |