Proposal: Extensible exceptions

[Ian Lynagh]

On Sat, Jul 19, 2008 at 01:03:56PM -0400, Isaac Dupree wrote:
> 
> anyway I propose something like
> ImplementationException
> --> CompileTimeException  --mostly pattern-match failure
> --> RunTimeException

I'm a bit confused - what are you proposing we throw if we have a
div-by-zero or unhandled-pattern?

And the name CompileTimeException feels wrong to me.

> Any idea how much of 'base' we'll be 
> able to shrink away (or more importantly, whether it's so closely tied 
> to the ghc-version that it might not be practical to make upgraded 
> versions that work with older ghc?)

It's hard to tell without actually doing some of the work.


Thanks
Ian