Skip to content
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

Go to definition usually fails #199

Open
joe-op opened this issue Sep 26, 2021 · 0 comments
Open

Go to definition usually fails #199

joe-op opened this issue Sep 26, 2021 · 0 comments

Comments

@joe-op
Copy link

joe-op commented Sep 26, 2021

When trying to use go to definition, it usually fails with "No position information for [symbol]". Type information shows up in the minibuffer and with C-c C-t, so it's not completely failing to connect to the server.

I just saw it start working on a tiny project (from the PureScript Getting Started guide) after not working for a while, but when I restarted the IDE server it stopped working again.

I'm running the npm installed purs executable, 0.14.4, in a separate terminal. The terminal occasionally logs [Warn] Failed to resolve reexports for Safe.CoercePrim.CoerceTypeClassRefT. There aren't any other logs in Emacs or the terminal that give any insight into why it's failing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant