So I just happened to run across this by chance:
And this does not bode well for me…
I have an OCaml plugin that uses the typedtree hook (all starting with
let () = Typemod.ImplementationHooks.add_hook "elixir_of_ocaml" typemod_hook_cb) as PPX’s happen before type checking and I need information after type checking (optimally I would want it post type checking and uncurrying passes, but I’ll take what I can get, and the
Simplif.Hooks.add_hook hook is way too low level and lost too much information for what allows me to write to the Beam).
So far I’d been making this on 4.7.1 then 4.8.0 beta’s and just updated to 4.8.0 rc1, but now come to find out all my work is going to be dead come 4.9.0 if I’m reading this right.
Please someone tell me that I’m reading this wrong?
And if I’m not, how can I do this same thing without using a compiler plugin or forking the compiler (I exceptionally do not want to fork the compiler, it should work with a standard install in every way, user PPX’s, user preprocessors, Dune, etc… etc… etc…).