Error with typechecking on change
Closed this issue · 2 comments
lukaszcz commented
jonaprieto commented
lukaszcz commented
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.