-
Notifications
You must be signed in to change notification settings - Fork 562
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
[psc-ide] Goto definition #2210
Conversation
9e5db12
to
52d9c44
Compare
878dc1f
to
fd76370
Compare
Allright I'm happy now :) One thing that concerns me, is that I can't make the defaults assumption of EDIT: The test failure on windows looks genuine. It's probably about some path separator, I'll take a look later |
fd76370
to
0ee3432
Compare
0ee3432
to
519b600
Compare
Allright :) Ready for review from my side. The Windows CI is fixed and OS X are failing as always... |
-- | Given a surrounding Sourcespan and a Declaration from the PS AST, extracts | ||
-- definition sites inside that Declaration. | ||
extractSpans | ||
:: P.SourceSpan -- ^ The surrounding span |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You might like to move the comments to the next line. The ^
is meant to point upwards to the code above, I believe.
Looks good! So, this adds position info for type queries, but no new commands for general name queries yet, correct? |
Could you please create an issue for this, so we have a place for comments etc.? |
I'd like to know why Travis keeps failing on MacOS. Maybe we should just disable those builds until we can figure out what's going on. |
I've listed my current backlog for |
Thanks for taking a look :) It would be nice if there was another way than me creating GIFs to showcase the new functionalities... I should either learn to hack the atom plugin so that you can try things out, or you could install a version of emacs, just to try out how the new stuff works. I thought about making a little online playground with ace editor backed by a |
Let me know if you want me to squash. |
rebased and cleaned up in #2215 |
Works surprisingly well in my first tests. I still need to add a few integration tests, and I think the API could use some polish.