Add command [ocaml-eglot-type-annotate]

[arvidj]

Add a new command ocaml-eglot-type-annotate to ocaml-eglot-type-enclosing-map that inserts a type annotation for the current enclosing with its inferred type:

Screencast.From.2025-11-07.12-31-53.mp4

TBH, not yet sure how useful it is.

[arvidj]

Just learned about this: ocaml/ocaml-lsp#397

so this PR might be redundant w.r.t. that work, or rather, perhaps there should rather be an Emacs binding to that existing LSP action?

[xvw]

Hi ! Thanks a lot for your contribution!
I think attaching the type annotation to the enclosing makes a lot of sense, so would you mind if I experiment with the code action before reviewing/merging?

[arvidj]

Hi ! Thanks a lot for your contribution! I think attaching the type annotation to the enclosing makes a lot of sense, so would you mind if I experiment with the code action before reviewing/merging?

Sure, there's no hurry on my end. It'd be good for me to test run this feature for a bit and gauge how helpful it is in the end.

[arvidj]

I ran into an issue today where the inserted annotation was the definition of a type (a record) instead of the name of the type. Basically, I ended up with my_record_value being annotated as my_record_value : { my_field : int; ...} instead of my_record_value : my_record_type as desired. I think we should look into whether the LSP command does this in a more sane manner.

[xvw]

Yes ! I guess that we can make the feature a little bit more ... dynamic (toggleTypeAnot) for example?

[xvw]

Closed in favor of #84
Thanks a lot, I co-authored my commit with your!