Jiří Beneš

Is this requirement still necessary with #305, @b-studios? It would be nice to "release" `get` and `put` to be overloaded by the users.

Another workaround is to use multiline strings: ```scala extern pure def toString(b: Bytes): String = """ (new TextDecoder("utf-8").decode(b)) """ ```

After #495, the error looks something like this:  which means I can somewhat improve it (or at least underline the relevant part) by consuming tokens after `;` until I...

Since we're talking about this IRL (cc @phischu @marzipankaiser): > * rename keyword `type` to `datatype` If we want to actually align `interface` and `datatype`, we could use `data type`...

I ran into this today again in a very similar setting: ```scala interface Foo { def foo(): Int } interface Bar { def bar(): Int } def compile { prog:...

We're running into this constantly. Here's some related thread from StackOverflow: https://stackoverflow.com/questions/16764946/what-generates-the-text-file-busy-message-in-unix

Very much worth fixing, in fact. :)

https://github.com/effekt-lang/effekt/actions/runs/8391413168/job/22981712695 This error was also detected in REPLTests now. ``` ==> X effekt.ReplTests.Evaluating small examples 10.147s java.io.IOException: Cannot run program "/home/runner/work/effekt/effekt/./out/interactive": error=26, Text file busy [53](https://github.com/effekt-lang/effekt/actions/runs/8391413168/job/22981712695#step:9:54) at java.lang.ProcessBuilder.start(ProcessBuilder.java:1128) [54](https://github.com/effekt-lang/effekt/actions/runs/8391413168/job/22981712695#step:9:55) at...

Hey, looks great so far! :) Just wondering, have you tried [ScalablyTyped](https://scalablytyped.org/docs/readme.html)? It could save you lots of time spent on writing wrappers (it uses some advanced magic to get...

Related to https://github.com/effekt-lang/effekt/issues/426