idris.typecheck command stops working

[ruippeixotog]

I'm trying to move from Atom to vscode for Idris development, but I'm having a problem with the idris.typecheck command.

I'm used to run it frequently after I write some function to check if everything is ok. However, the command seems to stop working randomly - sometimes it's after a while, sometimes I can't use it from the beginning. The "Idris: Type checking" label below stops being updated, even in small files when I fix or add a trivial error, and manually executing the command seems to do nothing.

I can only force the type checker to run again after I use other command such as type-of or add-clause. This is annoying, since I have to move the cursor to an identifier to run one of these commands.

The only setting I have overridden is "idris.warnPartial": true.

[zjhmale]

Hmm, I think some parts of the type-checking command is over designed, let me review it later, thx for reporting.

[zjhmale]

Oh, BTW, which platform are you playing with Idris, Windows, OSX or a concrete Linux distribution?

[ruippeixotog]

I'm using macOS Sierra 10.12.5. Let me know if you need some vscode logs for debugging.

[czhang03]

There is the same issue on windows

[GoNZooo]

Same issue on Archlinux (uname -sr = Linux 4.14.12-1-ARCH)

[ruippeixotog]

Hi @zjhmale, have you had a chance to review the type-checking code? It would be great if you could give it a look and fix the issue, as it would finally allow me to ditch Atom - this plugin works perfectly for Idris development apart from this. Thanks!

[corazza]

Same here. Fedora (4.17.12-200.fc28.x86_64)

[NickSeagull]

Same here, Ubuntu 18.04 under WSL:

Distributor ID: Ubuntu
Description:    Ubuntu 18.04.2 LTS
Release:        18.04
Codename:       bionic