diff options
Diffstat (limited to 'src/dotty/tools/dotc/reporting/diagnostic/Message.scala')
-rw-r--r-- | src/dotty/tools/dotc/reporting/diagnostic/Message.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/reporting/diagnostic/Message.scala b/src/dotty/tools/dotc/reporting/diagnostic/Message.scala index d7cfa2e2b..b3c19820f 100644 --- a/src/dotty/tools/dotc/reporting/diagnostic/Message.scala +++ b/src/dotty/tools/dotc/reporting/diagnostic/Message.scala @@ -11,6 +11,16 @@ import java.util.Optional object Message { val nonSensicalStartTag = "<nonsensical>" val nonSensicalEndTag = "</nonsensical>" + + implicit class MessageContext(val c: Context) extends AnyVal { + def shouldExplain(msg: Message): Boolean = { + implicit val ctx: Context = c + msg.explanation match { + case "" => false + case _ => ctx.settings.explain.value + } + } + } } class Message( |