Highlighting is extremely slow

[lukaszcz]

I sometimes need to wait a few seconds before an identifier gets the right colour, and I didn't even write any programs above 100 lines.

[lukaszcz]

This is to the point that the extension sometimes "hangs" and becomes hardly usable. I need to wait around 10 seconds sometimes before a word I want to delete gets deleted, repeatedly pressing Alt+BSpc (I guess it doesn't work because the extension is blocked on computing the highlighting).

[lukaszcz]

The VSCode extension is practically unusable because of this. This should be fixed ASAP, and in the meantime I'm switching to Emacs, because it just takes too long to type anything.

[vrom911]

• Use the typecheckOn var from settings for deciding to typecheck #81

should help with that at the moment, however, it is not complete cure of the problem in the first place (which is why typecheck-silent command is so slow).

[lukaszcz]

In 0.1.39 the efficiency markedly improved to the point of the extension becoming usable for the tiny programs I write. But still it's noticeably slow for anything that imports the standard library. I still need to wait seconds before the correct highlighting appears, but it seems I don't get blocked on editing so much.

I wouldn't say 0.1.39 fully solves the issue.