10:42 <discocaml> <esperluet> Hi everyone

20:24 <discocaml> <regularspatula> At what point are names of type variables erased during compilation? I'm wondering how vscode knows the names of the type variables. E.g., if you say `let f (a : 'thing) = a`, then the type will be shown as `'thing -> 'thing`. (Or maybe I'm on the wrong track and it has nothing to do with type erasure?)

20:24 <companion_cube> type inference tries to reuse the given names iirc

20:24 <companion_cube> then later in the compilation, types are entirely erased

20:26 <discocaml> <regularspatula> interesting...by any chance, do you know if that would be something in the lsp codebase?

20:27 <discocaml> <regularspatula> (im trying to figure out why the ocaml lsp knows about type variable names and the gleam lsp does not fwiw)

20:27 <companion_cube> the LSP just mostly reuses the existing typechecker afaik

20:27 <companion_cube> or rather a fork of it? must be in merlin

20:28 <companion_cube> maybe gleam's inference doesn't try to reuse variables

20:28 <discocaml> <regularspatula> hmm possible. i will try and dig around in merlin code and see if i can figure out something about it

22:00 <discocaml> <octachron> Merlin uses the typechecker + few patches to recover more information in case of type error. But the basic information is freely available in the `.cmt` file emitted by the `-bin-annot` option.