diff options
author | Sean McDirmid <sean.mcdirmid@gmail.com> | 2008-09-01 09:19:04 +0000 |
---|---|---|
committer | Sean McDirmid <sean.mcdirmid@gmail.com> | 2008-09-01 09:19:04 +0000 |
commit | f58162a784e46916d85ad9dbec063143ecf8211e (patch) | |
tree | 8f91a60c0022880e74144a8f15f323402d6df10c | |
parent | ce88a1451545fba1aeaaef3305851a673e3257aa (diff) | |
download | scala-f58162a784e46916d85ad9dbec063143ecf8211e.tar.gz scala-f58162a784e46916d85ad9dbec063143ecf8211e.tar.bz2 scala-f58162a784e46916d85ad9dbec063143ecf8211e.zip |
Fixing bug #1217
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Contexts.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Contexts.scala b/src/compiler/scala/tools/nsc/typechecker/Contexts.scala index e03451acc9..699faf96b4 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Contexts.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Contexts.scala @@ -346,7 +346,7 @@ trait Contexts { self: Analyzer => } def error(pos: Position, msg: String) { - if (reportGeneralErrors || inIDE) + if (reportGeneralErrors) unit.error(pos, if (checking) "**** ERROR DURING INTERNAL CHECKING ****\n" + msg else msg) else throw new TypeError(pos, msg) |