30 Aug
2009
30 Aug
'09
3:07 a.m.
On Fri, Aug 28, 2009 at 5:22 PM, John Meacham<john@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@gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown