Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
Nice, looks like only the PolyBoxingTests need to be adjusted now. Good job!
While at it, maybe you can also add tests for #1012 and #1030 so we can immediately close them.
It's not that simple. In many cases we want to return unit, since we use it mostly for async calls that don't return anything. The right thing to do would...
@jiribenes don't worry about it too much, I think I know what to do ;)
Since it is a "user defined" function, you need to call it with App, not PureApp
Yes, this is very low prio, even though it sounds cute.
It's a feature, not a bug. It's also showing the capture ;)
Hey @kyay10, thanks for all of these very insightful examples and reproductions! Indeed it looks like there is a bug in our implementation when it comes to typing bidirectional resumptions....
> I (very respectfully) disagree, tentative on what a "theoretical problem" is, and with full acknowledgement that I may be very wrong, especially since I didn't design this language Don't...
It also seems this is related to handling multiple effects in the same handler, which corresponds to two different `shifts` that share the same prompt. It is much harder to...