Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
Maybe at some point we can also look into native image again (https://www.graalvm.org/latest/reference-manual/native-image) So far, I never went through the troubles to set it up in CI and have it...
I am not sure whether Scala Native is in a state where we can just compile our compiler using it :(
Cool! Can you try to use it with the vscode plugin as a language server? Ah, and the Repl of course
The missing proxies are often the problem. I remember that there was a tool that would record a trace and then I needed to use as much of the language...
Do the missing proxies show in the vscode log?
> I'm not sure about the general approach of releasing native images, since the reflection fixing does not really seem stable. Yeah, that was my feeling last time as well....
Just to make this clear: a test suite for LSP would be great. How would you run it with the graal binary? The tests are not deployed with the binary,...
I was now able to build the binary. However, just invoking `effekt` -- that is starting the REPL -- crashes with: ``` java.lang.NoSuchMethodException: jline.UnixTerminal.() ``` ``` _____ ______ __ __...
The native version reduces the startup significantly (for compiling and running `examples/builtins.effekt`): Jar ``` Time (mean ± σ): 1.179 s ± 0.035 s [User: 2.660 s, System: 0.115 s] Range...
Strangely it does report the correct error in the following case: ``` def myHead[A](l: List[A]) = head(l) def foo(): Unit = { val x = Nil[Int]() myHead(x) } ```