anoma/vscode-juvix

Error with typechecking on change

Closed this issue · 2 comments

@lukaszcz Are you still experimenting this issue after

No, this particular error is gone and typecheck-on-change works mostly fine, though the results are sometimes strange, e.g., error highlighting not disappearing after successful typecheck.