As was posted recently in the OCaml compiler “newsletter” (OCaml compiler development newsletter, issue 6: March 2022 to September 2022), it seems that work on native macros is starting up again (roughly equivalent to TH or MetaOCaml, but module-aware), per @yallop https://www.cl.cam.ac.uk/~jdy22/projects/modular-macros/
Obviously not anything ready for prime time yet, but it’s great to see progress being made in this area.