Skip to content

Issues: idris-community/idris2-lsp

Fix hover
#133 opened Dec 29, 2021 by michaelmesser
Open 1
Windows Support
#156 opened Feb 5, 2022 by michaelmesser
Open
Incremental and Unsaved Support
#128 opened Dec 29, 2021 by michaelmesser
Open 1
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

35 Open 34 Closed
35 Open 34 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

Hover shows ?_ for arguments of function declaration
#216 opened Mar 24, 2024 by benrbray
[Feature Request] Stdout logging
#206 opened Sep 26, 2023 by eayus
"help" command line arguments
#205 opened Sep 26, 2023 by eayus
hover for let definition in do block doesn't work unless mentioned elsewhere
#201 opened Jul 18, 2023 by scarf005
Feature Request: code action when module/file name is not PascalCase
#200 opened Jul 18, 2023 by scarf005
Feature Request: Code lens
#196 opened May 8, 2023 by ribosomerocker
editing of holes via LSP notebooks
#195 opened Apr 22, 2023 by herkhinah
Intelligently pick correct ipkg using source directory bug Something isn't working ipkg
#164 opened Mar 27, 2022 by michaelmesser
Investigate existing extensions to LSP status: discussion
#157 opened Feb 5, 2022 by michaelmesser
Windows Support enhancement New feature or request os: Windows
#156 opened Feb 5, 2022 by michaelmesser
Handle Infinite Loop in Compiler bug Something isn't working
#150 opened Jan 9, 2022 by michaelmesser
1
Formatting? enhancement New feature or request feature: document formatting status: discussion
#148 opened Jan 2, 2022 by michaelmesser
Support Selection Range Request enhancement New feature or request feature: selection range
#147 opened Jan 2, 2022 by michaelmesser
Support Folding Range Request enhancement New feature or request feature: folding range
#146 opened Jan 2, 2022 by michaelmesser
Support Call Hierarchy enhancement New feature or request feature: call hierarchy
#145 opened Jan 2, 2022 by michaelmesser
Tests status: discussion testing
#143 opened Dec 31, 2021 by michaelmesser
Factor out LSP library enhancement New feature or request reorganization
#142 opened Dec 31, 2021 by michaelmesser
1
Support .lidr files bug Something isn't working status: blocked by Idris Requires changes to the Idris API
#141 opened Dec 30, 2021 by michaelmesser
Support :search by type signature enhancement New feature or request status: discussion
#138 opened Dec 29, 2021 by michaelmesser
Support Workspace Symbols Request enhancement New feature or request feature: workspace symbols
#137 opened Dec 29, 2021 by michaelmesser
Support Find References Request enhancement New feature or request feature: find references
#136 opened Dec 29, 2021 by michaelmesser
Document symbols needs significant improvements bug Something isn't working feature: document symbols
#134 opened Dec 29, 2021 by michaelmesser
Fix hover bug Something isn't working feature: hover
#133 opened Dec 29, 2021 by michaelmesser
1
Jump to definition for modules enhancement New feature or request feature: goto definition status: blocked by Idris Requires changes to the Idris API
#132 opened Dec 29, 2021 by michaelmesser
Cancellable Requests enhancement New feature or request feature: cancel request
#131 opened Dec 29, 2021 by michaelmesser
1
ProTip! What’s not been updated in a month: updated:<2024-05-08.