idris-community/idris2-lsp

Issues

• Fix old record syntax warning in test's Main file

  #233 opened 3 months ago by mattpolzin
  0

• Factor out LSP library

  #142 opened 3 months ago by michaelmesser
  2

• `workspace/configuration Error: Method not implemented yet` -> implement

  #228 opened 4 months ago by srghma
  1

• `Go To Definition` for `import` statements

  #229 opened 4 months ago by scarf005
  0

• implement action idris2.getAvailableModules and idris2.addModuleImport

  #227 opened 4 months ago by srghma
  0

• `PACK_DIR` environment variable being ignored

  #219 opened 9 months ago by foxyseta
  9

• autocomplete issues

  #222 opened 8 months ago by SDTEFU
  0

• Trying to implement an interface generates invalid code

  #218 opened 9 months ago by JavierGelatti
  0

• "Package `idris2` is not built or not installed in the current environment."

  #217 opened 10 months ago by foxyseta
  0

• Hover shows `?_` for arguments of function declaration

  #216 opened a year ago by benrbray
  0

• Nix flake build fails in `installPhase`

  #212 opened a year ago by phijor
  4

• Is this renamed to lsp in pack?

  #204 opened a year ago by glyh
  1

• [Feature Request] Stdout logging

  #206 opened a year ago by eayus
  0

• "help" command line arguments

  #205 opened a year ago by eayus
  0

• hover for let definition in do block doesn't work unless mentioned elsewhere

  #201 opened 2 years ago by scarf005
  0

• Feature Request: code action when module/file name is not PascalCase

  #200 opened 2 years ago by scarf005
  0

• Feature Request: Code lens

  #196 opened 2 years ago by ribosomerocker
  0

• editing of holes via LSP notebooks

  #195 opened 2 years ago by herkhinah
  0

• REPL?

  #129 opened 3 years ago by michaelmesser
  7

• Support Completion Request

  #139 opened 2 years ago by michaelmesser
  8

• idris2-lsp is stuck and makes the cpu usage 100%

  #191 opened 2 years ago by fonqL
  5

• Lsp cant find modules defined in other packages

  #182 opened 2 years ago by GunpowderGuy
  5

• "No code actions available" when using idris2-nvim

  #184 opened 2 years ago by EnronEvolved
  4

• Server sends incorrect column number

  #110 opened 3 years ago by michaelmesser
  3

• Handle Infinite Loop in Compiler

  #150 opened 3 years ago by michaelmesser
  1

• Support Selection Range Request

  #147 opened 3 years ago by michaelmesser
  0

• Intelligently pick correct ipkg using source directory

  #164 opened 3 years ago by michaelmesser
  0

• Fix hover

  #133 opened 3 years ago by michaelmesser
  1

• Incremental and Unsaved Support

  #128 opened 3 years ago by michaelmesser
  1

• Investigate existing extensions to LSP

  #157 opened 3 years ago by michaelmesser
  0

• Windows Support

  #156 opened 3 years ago by michaelmesser
  0

• Cancellable Requests

  #131 opened 3 years ago by michaelmesser
  1

• Formatting?

  #148 opened 3 years ago by michaelmesser
  0

• Support Workspace Symbols Request

  #137 opened 3 years ago by michaelmesser
  0

• Support Find References Request

  #136 opened 3 years ago by michaelmesser
  0

• Jump to definition for modules

  #132 opened 3 years ago by michaelmesser
  0

• Interactive editing in `where` clause

  #151 opened 3 years ago by trevarj
  2

• Semantic Highlighting of Hover, Diagnostic, etc.

  #127 opened 3 years ago by michaelmesser
  0

• Support Folding Range Request

  #146 opened 3 years ago by michaelmesser
  0

• Support Call Hierarchy

  #145 opened 3 years ago by michaelmesser
  0

• Support Document Highlight Requests (different from semantic tokens)

  #135 opened 3 years ago by michaelmesser
  0

• Support :search by type signature

  #138 opened 3 years ago by michaelmesser
  0

• Tests

  #143 opened 3 years ago by michaelmesser
  0

• Support .lidr files

  #141 opened 3 years ago by michaelmesser
  0

• Document symbols needs significant improvements

  #134 opened 3 years ago by michaelmesser
  0

• Sirdi Integration

  #130 opened 3 years ago by michaelmesser
  0

• Implement server side editing

  #122 opened 3 years ago by ShinKage
  0

• Error: Module Core.Case.CaseTree not found

  #123 opened 3 years ago by dnsco
  1

• Neovim LSP signature has changed for handlers

  #112 opened 3 years ago by auscyber
  3

• idris2-lsp does not build with latest main branch of idris 2

  #108 opened 3 years ago by thomasdziedzic
  2