After updating the extension to 0.3.10, if I try to use Agda with "Connect to Agda Language Server" option enabled, I get the following error in the Window output:
[2022-08-09 13:28:39.450] [window] [error] [Extension Host] Unhandled exception in promise callback:
[2022-08-09 13:28:39.497] [window] [error] [Extension Host] TypeError: g.onReady is not a function
at Object.y [as make] (/home/codespace/.vscode-remote/extensions/banacorn.agda-mode-0.3.10/dist/app.bundle.js:2:468846)
at /home/codespace/.vscode-remote/extensions/banacorn.agda-mode-0.3.10/dist/app.bundle.js:2:105104
at Object.i [as _1] (/home/codespace/.vscode-remote/extensions/banacorn.agda-mode-0.3.10/dist/app.bundle.js:2:603481)
at /home/codespace/.vscode-remote/extensions/banacorn.agda-mode-0.3.10/dist/app.bundle.js:2:532338
at /home/codespace/.vscode-remote/extensions/banacorn.agda-mode-0.3.10/dist/app.bundle.js:2:531385
I am using Ubuntu via VS Code codespaces, but the issue is the same on Windows too.
Downgrading to 0.3.9 gets rid of the error.
After updating the extension to 0.3.10, if I try to use Agda with "Connect to Agda Language Server" option enabled, I get the following error in the Window output:
I am using Ubuntu via VS Code codespaces, but the issue is the same on Windows too. Downgrading to 0.3.9 gets rid of the error.