Generalizes catch blocks to include any Partial...

Generalizes catch blocks to include any PartialFunction[Throwable, T].
Existing catch blocks will compile exactly as before. Anything else
(which mean: the token after CATCH is not a left brace, or it is a left
brace not immediately followed by CASE) is desugared as follows:

  try body catch expr
  // becomes
  try body
  catch { case x =>
    val catchFn = expr
    if (catchFn isDefinedAt x) catchFn(x)
    else throw x
  }

Review by odersky.

1 files changed, 4 insertions, 0 deletions

diff --git a/test/files/run/pf-catch.check b/test/files/run/pf-catch.check
new file mode 100644
index 0000000000..faee9566af
--- /dev/null
+++ b/test/files/run/pf-catch.check
@@ -0,0 +1,4 @@
+NoSuchElementException
+NullPointerException slipped by.
+NoSuchElementException
+DEBUG: NullPointerException