Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
Yes, hard to spot, especially with the mutual example. And possibly worse with lambdas My guess is that the best we can do is cycle detection in MonoDefs `f(Int32)` requires...
One way to solve it is to monomorphize to erased types, this would break the cycle. This would however also break typematch
a bit unrelated - we should also look into what happens when you call a captured continuation concurrently
Its a bit of a weird use of effects but I think its actually a nice example to look at to learn about effect semantics and how it interacts with...
It doesnt check that currently no, but it seems it could still easily be added by carrying around the current symbol def
Ah right
Oh, a complication: - The backend needs to know up front how many resumption points a function has. This is `do` + `non-pure non-tail apply`. - EffectBinder currently counts these...
I think its the substitution thing again (#7118), The trick is to squeeze variables out of the continuation ``` eff Ask { pub def ask(): String } eff Say {...
Not even, I just type annotated the continuation
Yeah I think i was going down a wrong path by talking about iterator, it should really be on list instead, or a range data type