4 Jul
2008
4 Jul
'08
10:54 a.m.
Ian Lynagh wrote:
This is a proposal to replace the current exception mechanism in the base library with extensible exceptions...
How does this affect integration between IO exceptions and pure exceptions, in particular Control.Monad.Error from mtl? That is already a bit tricky, but doable. Does this make it worse? At the very least, we should take this opportunity to create Error instances for the standard exceptions, and make sure that the extension mechanism includes an easy way to add compatible Error instances for new exceptions. Besides the mechanism itself, the obvious question is how to do this without making a mess out of the package dependency hierarchy. Thanks, Yitz