Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
Are the benchmark results from above still up to date?
What are the most important down sides in your opinion of giving up position independence?
This is the CPS IR for println ``` let k3755 = { (v_r_27793745) | ks3756 => jump k3754(v_r_27793745) @ ks3756 } let b_k_27763741 = { () | ks3757 => let...
It also suffices to make the rhs of this https://github.com/effekt-lang/effekt/blob/5599ca1101e0d52538ba84adaa9e1bfdc1c716be/effekt/shared/src/main/scala/effekt/generator/js/TransformerCps.scala#L514 to always return `false`, which effectively requires all branches to return to the same continuation. This again might be too...
I changed the tests in [async.kk](https://github.com/koka-lang/koka/commit/a3ccdf) for now to use: ``` effect fun() { resume(EXPR) } ``` instead of ``` fun() { EXPR } ``` This avoids the problem, since...
Sadly this means I cannot run tests anymore :(
To document what @phischu told me: we only have three locations where we really NEED tailcc. All of which are generated and not in hand-written LLVM code: 1. jumps 2....
I like this behavior! How to implement it is a different question. We are again in this state where we have two seemingly orthogonal set of constraints. 1. batch compilation...
A symbol should link to its definition, which has the span, no?
It looks like this test even fails on JS: https://github.com/effekt-lang/effekt/actions/runs/10919082132/job/30306075187?pr=592#step:11:402