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

38 Open 38 Closed
38 Open 38 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Fix old record syntax warning in test's Main file good first issue Good for newcomers
#233 opened Dec 2, 2024 by mattpolzin
Go To Definition for import statements
#229 opened Nov 2, 2024 by scarf005
implement action idris2.getAvailableModules and idris2.addModuleImport
#227 opened Nov 2, 2024 by srghma
Trying to implement an interface generates invalid code
#218 opened Jun 15, 2024 by JavierGelatti
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
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
ProTip! Exclude everything labeled bug with -label:bug.