30 Aug
2009
30 Aug
'09
12:37 a.m.
On Fri, Aug 28, 2009 at 5:22 PM, John Meacham
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