NonDet handler that executes multiple branches
arybczak opened this issue · 1 comments
arybczak commented
It would be nice to have, but I tried to naively add it using freshly merged delimited continuations (upcoming GHC 9.6) and it doesn't really work. Details here: re-xyr/speff#1 (comment)
arybczak commented
Considering that this requires (delimited) continuations and continuations are not compatible with the MonadUnliftIO instance (which I'm not willing to drop), this will most likely never happen.