Dorian Lesbre

I've had to add this to a large project recently and it was rather a pain... Here are the various hacks I tried and their notable downsides : 1. Making...

Well the problem is just that we do want to be able to specify required arguments in the config file. Its unusual but fairly useful since we can have a...

There are also a few more things I'd like to see colored in my editor: - built-in types : `nat`, `bool`, `option`, `list`, `unit`, `sum`, `prod`, `comparison`, `Empty_set` - built-in...

No, but they are part of the standard library and can be used without any `Import`.

You're right, I found the destruct (`Alt-D` on VSCode on Linux) for the match. I don't seem to get the module autocompletion though, but maybe that is just a VSCode...

In addition to polymorphic variants, I found a few other example of code that doesn't have semantic token support: - module names in module signature constraint (`with module Foo =...

Another spot lacking semantic color is `open` declarations in `.mli` files (they work fine in `.ml` files though). Also, related to #1139.

Another distinction that is lost is highlighting special character in strings (namely escapes `\n`, `\t` and printf `%d`...). They used to be of a different color but aren't (since semantic...

I've experimented with this a bit and do indeed find it fairly useful ! I'd like to add a few things to the list of requirements though : - Make...

Yes it's non obvious because the inheritance structure is quite large. It inherits from JSON_AT_Lookup will perform queries using title (and author, if present) info, and expect a JSON response....