search

banacorn / agda-mode-vscode

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

Error when loading with LSP enabled: `Cannot read property 'dist' of null` #91

Closed ThePuzzlemaker closed 2 years ago

ThePuzzlemaker commented 2 years ago

When loading a file with the LSP feature enabled, the extension causes an error, hanging loading. This is likely the cause of #86.

I have removed and re-installed the extension, as well as manually installing ALS, and manually downloading the ALS prebuilt binary (which I had to install icu66 to get working, cause I'm not on Ubuntu).

Information

OS: (Arch) Linux Agda: v2.6.2 Extension: v0.3.7 VSCode: 1.63.2 899d46d82c4c95423fb7e10e68eba52050e30ba3 x64

Backtrace:

[2022-01-23 12:10:55.691] [renderer1] [error] [Extension Host] Unhandled exception in promise callback:
[2022-01-23 12:10:55.692] [renderer1] [error] [Extension Host] TypeError: Cannot read property 'dist' of null
    at /home/james/.vscode-oss/extensions/banacorn.agda-mode-0.3.7/dist/app.bundle.js:2:108049
    at Object.i [as _1] (/home/james/.vscode-oss/extensions/banacorn.agda-mode-0.3.7/dist/app.bundle.js:2:602623)
    at /home/james/.vscode-oss/extensions/banacorn.agda-mode-0.3.7/dist/app.bundle.js:2:530970
    at /home/james/.vscode-oss/extensions/banacorn.agda-mode-0.3.7/dist/app.bundle.js:2:530520