diff options
| author | Sean McDirmid <sean.mcdirmid@gmail.com> | 2007-10-19 12:53:52 +0000 |
|---|---|---|
| committer | Sean McDirmid <sean.mcdirmid@gmail.com> | 2007-10-19 12:53:52 +0000 |
| commit | a49cbca4e93d573b0687023d3458bb8a1473e463 (patch) | |
| tree | 8eb31f12568cad9e1d08a15b5d17024ad5edcc27 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | 7305b72eb8b11872613801b3ce5130b30e362a2d (diff) | |
| download | scala-a49cbca4e93d573b0687023d3458bb8a1473e463.tar.gz scala-a49cbca4e93d573b0687023d3458bb8a1473e463.tar.bz2 scala-a49cbca4e93d573b0687023d3458bb8a1473e463.zip | |
* Fixed array cast bug in Errasure.
* Tweaked GenerateIDEs to have more coverage
* Deprecated * in favor of ** for sets
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index ef07b183f3..9737cc906b 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -3036,6 +3036,7 @@ trait Typers { self: Analyzer => result } catch { case ex: TypeError => + if (inIDE) throw ex tree.tpe = null //Console.println("caught "+ex+" in typed");//DEBUG reportTypeError(tree.pos, ex) |