From db5066bbb4c281bd3b65fe6422314afee115de5e Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 20 Nov 2013 14:20:23 +0100 Subject: More tweaks --- src/dotty/tools/dotc/typer/Applications.scala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/dotty/tools/dotc/typer/Applications.scala') 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 -- cgit v1.2.3