Tim Whiting
@anfelor Do you have an idea whether there is a simple fix? It seems to make inlining counterproductive, especially when there is a borrowed parameter used in a match. And...
No, I haven't run into big performance problems. It was just something I found as I was looking at the C code for my PhD research.
It looks like there is now an issue with generating these due to the expectation in core that (==) is total. It should be, but in general you cannot guarantee...
This also adds the start of a pretty printing module for user syntax which I found useful while debugging this.
This looks like it has Daans paths in it. Really weird. This is on the command line? Can you try removing the `.koka` build directory and compiling from scratch -...
We should at minimum qualify the `some-effect/bar` name, but in handlers we should only consider names that are defined as effect clauses.
Interesting. I'm not sure what would have caused this. I can confirm it works fine on MacOS 14 (Intel).
@kuchta The issue you noticed with homebrew not being updated is related to this issue: which I'm not sure whether is fixed or not, since I can't reproduce locally. Using...
You'll quickly run out of stack space with the builtin parse function. It induces exponential backtracking, and parsing a single character at a time will make that even worse. On...
It looks like you might be missing the layout algorithm that should be run between lexing and parsing. It should insert a bunch of artificial braces based on indentation level.