0.0.10 - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

0.0.10 #62

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

0.0.10

Added

Adds more ide support for .lidr files: hover, diagnostics and most commands.
Changed
Updated the IDE process args to handle Idris2 0.4.0, specifically fixes it so it doesn't spew ansi colour codes everywhere.
Fixed
Fixed a bug where hover would send erroneous typecheck requests that weren't displayed, but slowed down the process.