Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
The issue resided in the inference for a default file name. I purposefully used a regex to split on both platforms to avoid the dependency on the (JVM) file system....
Related to #18
I could also reproduce the bug on a fresh 18.04 VM: ``` $ effekt /usr/bin/env: 'java -jar': No such file or directory ```
As a workaround, one can of course run `java -jar /usr/local/bin/effekt`, but this is not satisfactory. However, getting vscode on Ubuntu to work is a bit more tricky since adjusting...
A more reliable workaround is the following: Create a script `effekt.sh` with the following contents: ``` #!/bin/bash java -jar /usr/bin/local/effekt $@ ``` and make it executable. Put this script in...
As a workaround I added the script to the distribution (87a4b0) and link it as `effekt.sh`. So linux users for now need to call `effekt.sh` instead of `effekt`. Also VSCode...
This needs to be documented on the website.
I backported mutual blocks from System C (delimited by `val` or `var` or expressions). This makes it easier in namer and typer to identify definitions that can be mutually recursive....
@edding4500 the CI test fails on unix systems since there it (apparently) already has the desired semantics. It is a bit fragile, but you could change the error message to...
Superseded by #158