You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.The text was updated successfully, but these errors were encountered: