diff options
author | Martin Odersky <odersky@gmail.com> | 2016-05-06 19:07:32 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-05-23 16:11:45 +0200 |
commit | f2361d6f1604a3869679ff9fa27e7ccba5404b93 (patch) | |
tree | 578aa8d86ef305ddcd61c1112da64d6cdb59e52b /src/dotty/tools/dotc | |
parent | bfe9faa637bce1fc499a33beb979ce9dcd35e983 (diff) | |
download | dotty-f2361d6f1604a3869679ff9fa27e7ccba5404b93.tar.gz dotty-f2361d6f1604a3869679ff9fa27e7ccba5404b93.tar.bz2 dotty-f2361d6f1604a3869679ff9fa27e7ccba5404b93.zip |
Print diagnostics to implicits printer
Diffstat (limited to 'src/dotty/tools/dotc')
-rw-r--r-- | src/dotty/tools/dotc/typer/Implicits.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala index 366044d72..091bf49f9 100644 --- a/src/dotty/tools/dotc/typer/Implicits.scala +++ b/src/dotty/tools/dotc/typer/Implicits.scala @@ -512,14 +512,14 @@ trait Implicits { self: Typer => case _ => false } // A type `tp` is a valid `eqAny` argument if `tp` is a bottom type, or - // no implicit value of type `Eq[tp, tp]` exists. + // no implicit value of type `Eq[tp, tp]` exists. def isValidEqAnyArg(tp: Type)(implicit ctx: Context) = { fullyDefinedType(tp, "eqAny argument", pos) defn.isBottomType(tp.dealias) || !hasEq(tp) } def areValidEqAnyArgs(tps: List[Type])(implicit ctx: Context) = tps.forall(isValidEqAnyArg) || { - println(i"invalid eqAny[$tps%, %]"); false + implicits.println(i"invalid eqAny[$tps%, %]"); false } val result = searchImplicit(pt) result match { |