search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
167 stars 38 forks source link

`C-c` `C-l` causes it to keep loading, and typing it again will get an S-expression parsing failure. #174

Closed vbcpascal closed 8 months ago

vbcpascal commented 8 months ago

Agda version: 2.6.4 agda-mode version: 0.4.4 Windows 11

When trying to load a module, the window shows loading all the time. And when typing C-c C-l again, it provides the following messages:

Connection Error: Internal Parse Error
Something went wrong when parsing S-expressions. Error code: S4 "cannot read: IOTCM "PATHTOFILE\Test.agda" NonInteractive Direct( Cmd_load "PATHTOFILE\Test.agda" [] )"

This looks like a problem caused by 0.4.4. When I rolled back the plugin version to 0.4.2, it worked fine. Thank you!

banacorn commented 8 months ago

Should be fixed in the coming release!