[jhc] Control.Exception

[Taral]

On Fri, Aug 28, 2009 at 5:22 PM, John Meacham<john at repetae.net> wrote:
> That said, I am still undecided about imprecise exceptions. (catching
> pattern match failures and error calls). They inhibit the optimizer and
> signal bugs, not catchable exceptions. I may introduce a flag to control
> this behavior though.. imprecise exceptions are occasionally useful for
> things like writing an interpreter...

Perhaps a flag to ignore impossible-to-reach _ cases at the end of a
match block? Then one can simply add:

_ -> throw xyz

to the end of blocks where one wants these exceptions.

-- 
Taral <taralx at gmail.com>
"Please let me know if there's any further trouble I can give you."
    -- Unknown