diff --git a/.gitignore b/.gitignore index a46e2b704..ea62da0ac 100644 --- a/.gitignore +++ b/.gitignore @@ -25,3 +25,4 @@ _log docs/build docs/source +ppx_elpi/tests/pp.exe diff --git a/ppx_elpi/ppx_elpi.ml b/ppx_elpi/ppx_elpi.ml index bfa187a36..141fcfc94 100644 --- a/ppx_elpi/ppx_elpi.ml +++ b/ppx_elpi/ppx_elpi.ml @@ -270,6 +270,7 @@ let elpi_loc_of_position (module B : Ast_builder.S) pos = let open B in }] let pexp_disable_warnings (module B : Ast_builder.S) x = + let open B in [%expr [%e x ][@warning "-26-27-32-39-60"]] let rec on_last f = function diff --git a/ppx_elpi/tests/pp.exe b/ppx_elpi/tests/pp.exe deleted file mode 100755 index 5baf12a6b..000000000 Binary files a/ppx_elpi/tests/pp.exe and /dev/null differ