21 Apr
2015
21 Apr
'15
11:23 a.m.
On Tue, Apr 14, 2015 at 11:38 AM, Michael Sloan
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]