Skip to content

Go to definition usually fails #199

Description

@joe-op

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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions