Twist to make crashes more robust :-) (by avoiding exceptions that get raised when printing debug output in erasure).
git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@25588 5e8d7ff9-d8ef-0310-90f0-a4852d11357a
This commit is contained in:
parent
3e8aa495b1
commit
a484db70b7
|
@ -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 = {
|
||||
|
|
Loading…
Reference in New Issue