Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
As a fix I now map new_id to old_id instead of the other way around. This way we do not require Barendregdt in the input to Renamer, which seems like...
Inductively, it should be enough to always parenthesize the spliced expressions.
Wouldn't it be also an alternative to support negated guards (that is not negated patterns in general, but only guards)?
Please note that this generates code (after inlining) such as ``` if (infixEq_85("c", "a")) { let tmp_1303570 = println_1("hello") l_1303481(tmp_1303570) } else { if (infixEq_85("c", "b")) { let tmp_1303572 =...
Can we maybe translate some Unison examples to Effekt to compare? That would be nice. @phischu could you please look into the Unison implementation as well?
If you comment out the broken functions you can actually write an example which might look like this: ``` val (_, l) = gatherList[Int, Unit] { for[Int, Unit] { range(0,...
on the language level probably means fixing type inference which is planned but will take a while
@phischu I took the liberty to add some doc comments.
Interesting, the tests pass on my machine but apparently they now leak memory...
To avoid having to rebase over and over again, I am in favor of just merging this and revising later. It is in a state that is already useful and...