cognitive-engineering-lab / argus

An IDE extension for debugging trait errors in Rust.
MIT License
97 stars 3 forks source link

Error - Fresh install VSCodium #45

Open sigmasoldi3r opened 1 week ago

sigmasoldi3r commented 1 week ago

Problem

Freshly installed, argus displays as not working: imagen

Also the error message is empty.

imagen

Logs

OS: win32 (10.0.22631) VSCode: 1.94.2 Error message

Output

Opening <>\template-master\src\main.rs
Calling backend with args   obligations,<>\template-master\src\main.rs
Argus output    process 107668, command:    cargo   +nightly-2024-05-20,argus,obligations,<>\template-master\src\main.rs    [object Object]

Argus output    Killing process 26564
Argus output    Killing process 107668
Argus output    taskkill stdout: 
Argus output    taskkill stderr: ERROR: no se encontr� el proceso "26564".

Argus output    error: Command failed: taskkill /PID 26564 /T /F
ERROR: no se encontr� el proceso "26564".

Argus output    taskkill stdout: 
Argus output    taskkill stderr: ERROR: no se encontr� el proceso "107668".

Argus output    error: Command failed: taskkill /PID 107668 /T /F
ERROR: no se encontr� el proceso "107668".

Calling backend with args   obligations,<..>\template\src\main.rs
Argus output    process 102148, command:    cargo   +nightly-2024-05-20,argus,obligations,<...>\template\src\main.rs    [object Object]

[CMD]:  lastError
gavinleroy commented 1 week ago

We're working on a better way to communicate Argus failures vs build failures. For example, if you have a syntactic error then Argus will display red like this, but Argus hasn't crashed.

The output you posted doesn't seem to indicate that Argus crashed, what is the rustc message from cargo check?