New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
C-c C-l fails for some reason #1548
Comments
That is unfortunate indeed. I will try to reproduce on my side. Meanwhile, could you try to get the complete error log after enabing |
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 for but still better than the crash you witness). |
do you know what I should do after |
OK I found a |
Thank you. I don't have a file called |
Just a blind guess: could you try to explicitely add the |
oh the file is the same as https://github.com/MinaProtocol/mina/blob/develop/src/lib/transaction_snark/test/zkapps_examples/empty_update/empty_update.ml#L31 I tried again today and now it works, not sure what happened in between :| |
Hello hello,
I'm getting the following bottom buffer (that looks like it might be an error?) on emacs when trying to jump to definition:
(the offending code)
I've been trying to use emacs since vscode doesn't really work for me (see ocamllabs/vscode-ocaml-platform#1020), but it looks like I'm getting the same kind of jump to definition errors with emacs.
The text was updated successfully, but these errors were encountered: