Thomas Refis

Thank you!

> what is FCM? Tentative expansion: 1st class modules.

I don't think much has changed since @dbuenzli wrote that list, I guess my only question(s) (wrt. the staleness of this issue is): does someone care? Is some work planned...

I started a precheck build.

Yes, we've progressed by at least one more (significant) step with some recent changes that were made to the compiler ( https://github.com/ocaml/ocaml/blob/trunk/Changes#L658 ). At this point everything we would need...

I don't know what hovering is supposed to trigger in lsp; two reasonable guesses would be "show the type" or "show occurences", both work for me on your example.

I had the `verbosity` flag set at 0 (which is the default), but indeed when you increase the value, then you get a stack overflow. Thanks for the report, we'll...

We use the verbosity flag to control the expansion of a type. With a value of `0` we just print the type of the node, which might be something like...

The exception leaking is still a bug, regardless of which state your project was in.

> Actually, a trivial solution is to replace highest_scope by highest_scope - 1 in Ident.scope. It could be even less. It should just be higher than any normal level. Please,...