koka-lang / koka

Koka language compiler and interpreter

Home Page:http://koka-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

VS Code Extension Errors On Activation

han-tyumi opened this issue · comments

I wanted to check out Koka, but I am unfortunately running into this issue when trying to run any Koka command.
The only thing that looks to be working is the syntax highlighting.

image image

I'm on a M1 Mac with Koka installed manually through the curl script.
Had to run the install script with sudo.
I can run koka from the command line and it appears to be installed correctly.

image

Try opening a non empty folder / workspace with some Koka files in it. I might know where this is coming from.

Aha! That does appear to be the issue.
Looks like the commands also work without Koka files within the open folder.

I think I at least know how to fix it then so that it doesn't error out. It still probably won't fully start a language server, but at least the startup of the extension will not fail so that it can register the commands appropriately.