Ulysse

We do have something like that implemented in the backend (but not used by the editors plugins). The thing is, on such a simple example it seems straightforward, but having...

Thanks for your explanation @mattiase. I didn't know that there were separate namespaces for variables and functions. > And next time you suspect an elisp compiler bug, tell us and...

The intent if for Merlin not to depend on Menhir. Merlin being a tool installed in most switches it is crucial that it relies on a few dependencies as possible....

After discussing this issue with @pitag-ha we realized that it only answers the problem for type's declarations, not definitions. I am turning this into a draft while looking for a...

That is unfortunate indeed. I will try to reproduce on my side. Meanwhile, could you try to get the complete error log after enabing `M-x merlin-enable-debug` ? Also a minimal...

I have not been able to reproduce so far: on either vscode of emacs it does jump do the declaration of the value (which is not what we are looking...

Thank you. I don't have a file called `src/lib/transaction_snark/test/zkapps_examples/thing/thing.ml` so I cannot try to reproduce this specific SO.

Just a blind guess: could you try to explicitely add the `mina_wire_types` library to the `dune` file of the concerned lib/executable, then rebuild and retry the query ?

Hello @jboillot, yes, this is the right place to ask :-) If I understand well you would like a command that would complete the skeleton of a module given its...

Note: In Merlin we are adding a new `H` configuration directive to Merlin to support this feature in the upgrade to 5.2. When support is added for this feature in...