@@ -13,7 +13,7 @@ import java.lang.System.currentTimeMillis
13
13
14
14
object Reporter {
15
15
16
- class Diagnostic (msgFn : => String , val pos : SourcePosition , val severity : Severity , base : ContextBase ) extends Exception {
16
+ class Diagnostic (msgFn : => String , val pos : SourcePosition , val severity : Severity ) extends Exception {
17
17
private var myMsg : String = null
18
18
private var myIsSuppressed : Boolean = false
19
19
def msg : String = {
@@ -22,10 +22,7 @@ object Reporter {
22
22
catch {
23
23
case ex : SuppressedMessage =>
24
24
myIsSuppressed = true
25
- val saved = base.suppressNonSensicalErrors
26
- base.suppressNonSensicalErrors = false
27
- try myMsg = msgFn
28
- finally base.suppressNonSensicalErrors = saved
25
+ myMsg = " <suppressed message>"
29
26
}
30
27
myMsg
31
28
}
@@ -38,8 +35,8 @@ object Reporter {
38
35
else severity
39
36
}
40
37
41
- def Diagnostic (msgFn : => String , pos : SourcePosition , severity : Severity )( implicit ctx : Context ) =
42
- new Diagnostic (msgFn, pos, severity, ctx.base )
38
+ def Diagnostic (msgFn : => String , pos : SourcePosition , severity : Severity ) =
39
+ new Diagnostic (msgFn, pos, severity)
43
40
44
41
class Severity (val level : Int ) extends AnyVal {
45
42
override def toString = this match {
0 commit comments