Proposal: Extensible exceptions

Ian Lynagh igloo at
Sat Jul 19 13:48:42 EDT 2008

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.


More information about the Libraries mailing list