Proposal: Extensible exceptions

daveroundy at daveroundy at
Mon Jul 7 14:43:59 EDT 2008

On 7/7/08, Yitzchak Gale <gale at> 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?


More information about the Libraries mailing list