Proposal: Extensible exceptions

[shelarcy]

On Fri, 04 Jul 2008 22:29:24 +0900, Ian Lynagh <igloo at earth.li> wrote:
> This is a proposal to replace the current exception mechanism in the
> base library with extensible exceptions.

I like this change.

> The patches are here:
>     http://darcs.haskell.org/ext-excep/
> I've attached Examples.hs, which gives some examples of using it.

But It seems that current patches doesn't change GHC.Conc module's
catchSTM type. I think we should change that type, too.

  catchSTM :: Exception e => STM a -> (e -> STM a) -> STM a

But One problem is that these changes also affect stm package's
interface. We need following functions, and old interface same as
IO type catching functions, for usability.

  catchesSTM :: STM a -> [Handler a] -> STM a
  catchSTMAny :: STM a -> (forall e . Exception e => e -> STM a) -> STM a
  ...

Do you think we should have another proposal to change catchSTM
type, after accepting this proposal?


Best Regards,

-- 
shelarcy <shelarcy    hotmail.co.jp>
http://page.freett.com/shelarcy/