Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
Maybe somebody could improve the VSCode plugin so that it can autocomplete our kewords better? @marvinborner you are now our resident LSP expert. Can this be done only in Intelligence...
Good point! The compiler could (and should) eta-expand; we just did not implement it, yet.
Strange, I also just ran into this issue: ``` java.io.IOException: Cannot run program "/home/runner/work/effekt/effekt/./out/tests/effekt.chezschemelifttests/examples_pos_multieffects": error=26, Text file busy ``` https://github.com/effekt-lang/effekt/actions/runs/7057970235/job/19212628254
What do you typically use this for and why does the vscode plugin / lsp not suffice?
It shouldn't be too hard since the functionality is already there for VSCode... https://github.com/effekt-lang/effekt/blob/cf3b7d1fa7eda3a92f74351d99fcd3de159c900f/effekt/jvm/src/main/scala/effekt/Server.scala#L41-L84
Maybe that could be a good starter issue for @marvinborner ? What do you think?
Should it be shown it written to a file? I am asking because the vscode plugin writes to a virtual file, while the Xprinter option on scalac just dumps to...
I think it is not very difficult (I would guess 20-30 lines of code for everything). For the VSCode extension, I already generate separate files with file pseudo file extensions...
Note that this is expected behavior and not a bug. You are asking for a new feature, which is to pass additional arguments to the command line when running a...
Also in Flix (but unrelated to this issue) you can run every toplevel function (without parameters) from within VSCode.