WIP: Improve deriving inline so it can be used alongside other ppx-es

[NathanReb]

No description provided.

[NathanReb]

CC @mbarbin you should be able to try this out for your usecase, simply add the -no-corrections to your (preprocess (pps ...)) field and it will not require that you add the ppx-es you only use with deriving_inline and won't generate corrections during builds anymore.

This is still WIP as I'm trying to tie all loose ends but it should already be usable for common use cases.

[mbarbin]

Hi @NathanReb I wanted to let you know that it will take me a bit of time to get back to you on this, but I am excited to try it out as soon as I get a chance. Thank you for your work on this!

[mbarbin]

@NathanReb I tried it in this PR => mbarbin/vcs#32 and commented there directly. To summarize what I got:

• ✅ The build works
• ✅ The doesn't round-trip errors are gone
• ❌ The lint current fails with small auto-formatting issues

So, this is definitely a lot of progress, and possibly very close to working! Thanks a lot.

[NathanReb]

@mbarbin is this something you are still interested in?

[mbarbin]

@mbarbin is this something you are still interested in?

Hi @NathanReb thanks for asking! Yes absolutely. I didn't want to be a distraction from all the amazing work you guys did for OCaml 5.2 ast migration, and the support for effect syntax (which I tried with 0.35, and it worked very nicely), but sure this is something I'd be very keen on seeing progressing in the long run.

I did a little pass over this and summarize below the tickets which I think are linked to this scope of work. Please let me know if you agree, and if I have forgotten something:

ocaml/dune#2992
mbarbin/vcs#32
#342
#338

Thank you!

[NathanReb]

Great to hear, I'll resume working on this!