ppx
ppx copied to clipboard
The future of ppx https://discuss.ocaml.org/t/the-future-of-ppx/
We can't force every ppx author to catch all exceptions and properly produce `ocaml.error` extension points but when we catch the exceptions that slip through we should produce an error...
As discussed here: https://github.com/ocaml-ppx/ppx/pull/33#discussion_r363812808, we want to support the following: ```ocaml match%view x with | {A.a; b} -> f a b ``` and translate it to calls to `A.a'match` and...
cf https://github.com/ocaml-ppx/ppxlib/issues/105 When extension points are allowed in more places, we don't detect that Extension.Context.t needs to be updated. It'd be nice if this could be checked via a test.
Using `Location.raise_error` has the annoying side effect that merlin can't do anything with the file. Instead, whenever we produce an error we should instead produce an `[%%ocaml.error]` extension point. In...