diff options
author | Martin Odersky <odersky@gmail.com> | 2011-08-30 16:43:01 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2011-08-30 16:43:01 +0000 |
commit | 476e4816f831fcacbc0cb809cabbad726900a975 (patch) | |
tree | 62167d1a0e453af67f61f4043883bfa36215d99e | |
parent | dd050a6a632eaeb43647e7f4e0d5a5f4c5a2dc41 (diff) | |
download | scala-476e4816f831fcacbc0cb809cabbad726900a975.tar.gz scala-476e4816f831fcacbc0cb809cabbad726900a975.tar.bz2 scala-476e4816f831fcacbc0cb809cabbad726900a975.zip |
Twist to make crashes more robust :-) (by avoid...
Twist to make crashes more robust :-) (by avoiding exceptions that get
raised when printing debug output in erasure).
-rw-r--r-- | src/compiler/scala/tools/nsc/transform/Erasure.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/Erasure.scala b/src/compiler/scala/tools/nsc/transform/Erasure.scala index dbceb1f721..3dc705e167 100644 --- a/src/compiler/scala/tools/nsc/transform/Erasure.scala +++ b/src/compiler/scala/tools/nsc/transform/Erasure.scala @@ -604,7 +604,8 @@ abstract class Erasure extends AddInterfaces abort() case ex: Exception => //if (settings.debug.value) - Console.println("exception when typing " + tree); + try Console.println("exception when typing " + tree) + finally throw ex throw ex } def adaptCase(cdef: CaseDef): CaseDef = { |