Skip to content

Issues: usethesource/rascal-language-servers

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.

Sign up for GitHub

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

72 Open 183 Closed
72 Open 183 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

VS Code is interpretting location in debugger view incorrectly. bug Something isn't working enhancement New feature or request
#372 opened May 1, 2024 by koenvanwijk
4
Simplify example by splitting it from the test case documentation Improvements or additions to documentation enhancement New feature or request
#363 opened Mar 8, 2024 by DavyLandman
Enable checker framework on CI enhancement New feature or request java Pull requests that update Java code
#359 opened Feb 22, 2024 by DavyLandman
2
Races in TextDocumentState bug Something isn't working
#358 opened Feb 14, 2024 by sungshik
1
Fix rascal-lsp incorrect implementation of the LSP Document synchronisation for DSLs bug Something isn't working enhancement New feature or request
#355 opened Feb 10, 2024 by DavyLandman
5
Make it easier to call rascal LSP commands by helping the user translate to rascal call enhancement New feature or request good first issue Good for newcomers
#342 opened Dec 6, 2023 by DavyLandman
1
Project does not load if Rascal project is not the root of the workspace in VS Code enhancement New feature or request
#341 opened Dec 4, 2023 by linuswagner
1
Add tests for Rascal Library Navigator enhancement New feature or request good first issue Good for newcomers
#338 opened Nov 9, 2023 by DavyLandman
[ci] Report mocha tests in the github action enhancement New feature or request
#324 opened Oct 9, 2023 by DavyLandman
Rascal MF checker should make sure there is always a space after a : bug Something isn't working
#300 opened Sep 26, 2023 by DavyLandman
3
[debugger] bug Something isn't working
#298 opened Sep 22, 2023 by jurgenvinju
[debugger] Value printer uses static type, not dynamic type enhancement New feature or request
#295 opened Sep 15, 2023 by DavyLandman
@yami2200
1
Change how rascal-lsp is release on maven enhancement New feature or request
#288 opened Sep 7, 2023 by DavyLandman
2
Documentation for development documentation Improvements or additions to documentation
#282 opened Aug 21, 2023 by linuswagner
3
Pico demo does not have documentation strings (@synopsis, @description, @benefits, @pitfalls) documentation Improvements or additions to documentation
#270 opened Jul 4, 2023 by jurgenvinju
1
hover help makes no sense with slightly more complex expressions bug Something isn't working enhancement New feature or request
#268 opened Jul 3, 2023 by jurgenvinju
Add hyperlink detector for our location notation in VScode's editors that behaves the same as our terminal hyperlink detectors. enhancement New feature or request
#293 opened Jun 23, 2023 by linuswagner
6
Consider using VS Code watches for all URIs that VS Code supports
#266 opened Jun 14, 2023 by DavyLandman
2
data-type prefix resolution for constructors depends on order of declaration in source file bug Something isn't working enhancement New feature or request
#261 opened Jun 5, 2023 by jurgenvinju
@jurgenvinju @PaulKlint
8
Show "static errors" from the Rascal code running in the LSP server execution as errors in the Problem View and Annotations in the editor rather than a OUTPUT log entry. enhancement New feature or request
#257 opened May 31, 2023 by jurgenvinju
5
Can not create a new project because of VFS limitations bug Something isn't working
#254 opened May 15, 2023 by jurgenvinju
12
Projects are not summarized/built/indexed unless you edit the "top-file" bug Something isn't working
#243 opened Apr 4, 2023 by jurgenvinju
2
non-canonical URIs for editor files bug Something isn't working enhancement New feature or request
#242 opened Apr 4, 2023 by jurgenvinju
6
Create a callback function for vs code when editor selection changes.
#241 opened Mar 29, 2023 by tpnbolwerk
5
Interupt lense command enhancement New feature or request
#236 opened Mar 12, 2023 by jurgenvinju
2
ProTip! What’s not been updated in a month: updated:<2024-04-09.