Proposal: Extensible exceptions

[daveroundy at gmail.com]

On 7/7/08, Yitzchak Gale <gale at sefer.org> wrote:
> Henning Thielemann wrote:
>> I don't see the problem. Current 'bracket' would be used for bracketing
>> current IO code, new 'bracket' would be used to bracket new ErrorT based
>> IO
>> code.
>
> bracket is a GHC primitive. It works only directly with IO, not with
> other monads. I don't think there is any way to write "new bracket"
> right now.
>
> bracket is an essential part of exception handling. It is built in to
> the definition of catch.

It might help to clarify whether you're talking about IO.bracket and
IO.catch or Control.Exception.bracket and Control.Exception.catch?

David