diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-11-20 14:20:23 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-11-20 14:20:23 +0100 |
| commit | db5066bbb4c281bd3b65fe6422314afee115de5e (patch) | |
| tree | abae091c0339527852c22a7701885e2306b9e453 /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | acc9d750d1776d8d1c864fb3ddaadbaec34d286e (diff) | |
| download | dotty-db5066bbb4c281bd3b65fe6422314afee115de5e.tar.gz dotty-db5066bbb4c281bd3b65fe6422314afee115de5e.tar.bz2 dotty-db5066bbb4c281bd3b65fe6422314afee115de5e.zip | |
More tweaks
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 9d6df553c..f1b603b4a 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -598,9 +598,9 @@ trait Applications extends Compatibility { self: Typer => ctx.maximizeType(unapplyArgType) match { case Some(tvar) => def msg = - s"""There is no best instantiation of pattern type ${unapplyArgType.show} - |that makes it a subtype of selector type ${pt.show}. - |Non-variant type variable ${tvar.origin.show} cannot be uniquely instantiated.""".stripMargin + i"""There is no best instantiation of pattern type $unapplyArgType + |that makes it a subtype of selector type $pt. + |Non-variant type variable ${tvar.origin} cannot be uniquely instantiated.""".stripMargin if (fromScala2x) { // We can't issue an error here, because in Scala 2, ::[B] is invariant // whereas List[+T] is covariant. According to the strict rule, a pattern |