meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
59 stars 10 forks source link

update diagnostics for 0.6.0 #86

Closed meraymond2 closed 2 years ago

meraymond2 commented 2 years ago

Fixes https://github.com/meraymond2/idris-vscode/issues/79 now that's the change that caused the issue has been released (0.6.0).