Type annotations in vscode

I just noticed that vscode started adding greyed-out type hints for function parameters, e.g. fun c: char -> ... (where the : char part is not something I typed). Does anyone know how to get rid of this? When I look it up I find instructions to turn off “codelens” but I already did so (and it was doing something different, type annotations above function definitions).

These are called “inlay hints” I am told by a VS Code-using colleague. You should be able to disable them in your preferences.

Cheers,
Nicolas

2 Likes

These were introduced in Preliminary inlay hint support by jfeser · Pull Request #1159 · ocaml/ocaml-lsp · GitHub, by the way.

Cheers,
Nicolas

1 Like

Thank you, that did it.

I like vscode and the ocaml extension but it’s annoying to have to turn off the latest gimmick (and first find out what it’s called) every few months…

2 Likes