[Haskell-cafe] Best way to implement "scoped exceptions"?

[Li-yao Xia]

The recently implemented Delimited Continuation Primops proposal[1] 
features tagged prompts. That seems like just what you are looking for.

[1]: 
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0313-delimited-continuation-primops.rst

On 2022-12-29 1:02 PM, Tom Ellis wrote:
> On Wed, Dec 28, 2022 at 09:19:20PM +0000, Dan Dart wrote:
>> Sounds to me a bit like CPS - so maybe something like callCC:
>> https://hackage.haskell.org/package/transformers-0.6.0.4/docs/Control-Monad-Trans-Cont.html#v:callCC
> Thanks. There is some element of CPS to it, although in this case I'm
> specifically looking for an API that's plugged in to how GHC's RTS
> treats exceptions.
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.