Merge pull request #1165 from jsuereth/fix/try-catch-libs

Fix/try catch libs

2 files changed, 18 insertions, 0 deletions

diff --git a/test/files/run/try-catch-unify.check b/test/files/run/try-catch-unify.check
new file mode 100644
index 0000000000..b1de2bfa74
--- /dev/null
+++ b/test/files/run/try-catch-unify.check
@@ -0,0 +1,3 @@
+Failure(java.lang.NumberFormatException: For input string: "Hi")
+Success(5.0)
+O NOES
diff --git a/test/files/run/try-catch-unify.scala b/test/files/run/try-catch-unify.scala
new file mode 100644
index 0000000000..0d819ab957
--- /dev/null
+++ b/test/files/run/try-catch-unify.scala
@@ -0,0 +1,15 @@
+import util._
+
+import control.Exception._
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    println(catching(classOf[NumberFormatException]) withTry ("Hi".toDouble))
+    println(catching(classOf[NumberFormatException]) withTry ("5".toDouble))
+    try {
+      catching(classOf[NumberFormatException]) withTry (sys.error("O NOES"))
+    } catch {
+       case t => println(t.getMessage)
+    }
+  }
+}