Proposal: Add exception info

[Greg Weber]

On Tue, Apr 14, 2015 at 11:38 AM, Michael Sloan <mgsloan at gmail.com> wrote:

>     data SomeException = forall e . Exception e =>
>         SomeExceptionWithInfo e [SomeExceptionInfo]
>
>     data SomeExceptionInfo = forall a . ExceptionInfo a =>
>         SomeExceptionInfo a


Is it necessary for SomeExceptionWithInfo to have a list of a forall data
type?
Are Exceptions really that mysterious, or can we more concretely describe
the information that should be attached to an exception?

    SomeExceptionWithInfo e IsAsync CallStack ImplicitStack

I am still open to the idea of adding a forall data scratchpad, but can we
at least try to specify some standard fields?

    SomeExceptionWithInfo e IsAsync CallStack ImplicitStack
[SomeExceptionInfo]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150421/d659fad5/attachment.html>