Hi! I’m happy to announce a VS Code extension VOCaml ( GitHub release ) where I’ll be putting my OCaml coding helpers. Currently, it has three commands: VOCaml: Add Type Annotations inserts type annotations around let bindings. VOCaml: Remove Type Annotations removes type annotations from let bin…

ocamllsp has a code action to do type annotation. I believe that using it could simplify your code a little bit.

Ah it has both actions “Type annotate” and upcoming “Remove type annotation”! I wasn’t aware. I could maybe retire this extension. Except, it enhances the functionality for selections – it annotates multiple let-bindings at once. The code action treats a selection as indicating the expression to ann…

The code action Type annotate also does not type-annotate function bindings in a nice way, so there’s still raison d’etre for VOCaml…

Hi @lukstafi , I have take a look into your solution, which is related to my current work. I’ve been working on improving type annotations in ocaml-lsp. The problem with functions is actually a bit harder then I expected, so for now it will probably be disabled. You can find the discussion and expl…

VOCaml: add and remove type annotations in VS Code

Ecosystem

lukstafi March 21, 2023, 12:20pm 6

A new version of VOCaml – 1.1.1 is out (Marketplace). Multiline types work now, also labeled arguments (and optional without defaults), unit value pattern.

Topic		Replies	Views
Editor support: auto-annotate types and other tricks Learning	0	506	January 28, 2023
Type annotations in vscode Ecosystem vscode	5	469	December 26, 2025
[ANN] ocaml-lsp-server 1.3.0 Community announce	6	1140	November 30, 2020
[ANN] [preview] Visual Studio Code plugin for OCaml Community announce	5	2651	March 30, 2020
Ergonomically adding type annotations to functions for debugging Learning	9	762	February 3, 2025

VOCaml: add and remove type annotations in VS Code

Related topics