diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-27 17:27:59 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:36 +0200 |
| commit | 7561db09c19bff7871cfd96c327f6f7882480ebd (patch) | |
| tree | 11ab91c7abd83b6b835d0eed7f81a85c7bf9c76c /src/dotty/tools/dotc/reporting/diagnostic/messages.scala | |
| parent | a7d3f6e1b85f772bb343c5d006fd1e4edc844a93 (diff) | |
| download | dotty-7561db09c19bff7871cfd96c327f6f7882480ebd.tar.gz dotty-7561db09c19bff7871cfd96c327f6f7882480ebd.tar.bz2 dotty-7561db09c19bff7871cfd96c327f6f7882480ebd.zip | |
Fix TypeMismatch not getting nonsensical tags in some cases
Thanks @smarter!
Diffstat (limited to 'src/dotty/tools/dotc/reporting/diagnostic/messages.scala')
| -rw-r--r-- | src/dotty/tools/dotc/reporting/diagnostic/messages.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/reporting/diagnostic/messages.scala b/src/dotty/tools/dotc/reporting/diagnostic/messages.scala index 76b2fd3e9..034e14267 100644 --- a/src/dotty/tools/dotc/reporting/diagnostic/messages.scala +++ b/src/dotty/tools/dotc/reporting/diagnostic/messages.scala @@ -213,7 +213,7 @@ object messages { } } - case class TypeMismatch(found: Type, expected: Type, whyNoMatch: String = "")(implicit ctx: Context) + case class TypeMismatch(found: Type, expected: Type, whyNoMatch: String = "", implicitFailure: String = "")(implicit ctx: Context) extends Message("E006") { val kind = "Type Mismatch" private val (where, printCtx) = Formatting.disambiguateTypes(found, expected) @@ -222,7 +222,7 @@ object messages { s"""|found: $fnd |required: $exp | - |$where""".stripMargin + whyNoMatch + |$where""".stripMargin + whyNoMatch + implicitFailure val explanation = "" } |