diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-26 13:40:59 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:35 +0200 |
commit | 33d44903ec95cff9b79523683175733fd49ba140 (patch) | |
tree | 86b70814ee0a854609ab4397d586b16e145bfa6e /src/dotty/tools/dotc/reporting/diagnostic/messages.scala | |
parent | aa559359bb55729913d34588462542f10c42e147 (diff) | |
download | dotty-33d44903ec95cff9b79523683175733fd49ba140.tar.gz dotty-33d44903ec95cff9b79523683175733fd49ba140.tar.bz2 dotty-33d44903ec95cff9b79523683175733fd49ba140.zip |
Make `typeDiff` aware of placeholder types
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 009636593..01cf00cf7 100644 --- a/src/dotty/tools/dotc/reporting/diagnostic/messages.scala +++ b/src/dotty/tools/dotc/reporting/diagnostic/messages.scala @@ -216,8 +216,8 @@ object messages { case class TypeMismatch(found: Type, expected: Type, whyNoMatch: String = "")(implicit ctx: Context) extends Message("E006") { val kind = "Type Mismatch" - private val where = Formatting.disambiguateTypes(found, expected) - private val (fnd, exp) = Formatting.typeDiff(found, expected) + private val (where, printCtx) = Formatting.disambiguateTypes(found, expected) + private val (fnd, exp) = Formatting.typeDiff(found, expected)(printCtx) val msg = s"""|found: $fnd |required: $exp |