From 77f62c9faa4b03b6deb6d1e95afe9d88fb4e02c7 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 14 Oct 2013 10:37:32 +0200 Subject: Made tracing appear even when currently in StoreReporter context --- 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 ef0fcf709..ce2caab84 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -410,10 +410,9 @@ trait Applications extends Compatibility { self: Typer => } def sameSeq[T <: Trees.Tree[_]](xs: List[T], ys: List[T]): Boolean = firstDiff(xs, ys) < 0 - val result = { + val result ={ var typedArgs = typedArgBuf.toList - println(s"typed args of $methRef = $typedArgs") - val ownType = + val ownType = ctx.traceIndented(s"apply $methRef to $typedArgs") { if (!success) ErrorType else { if (!sameSeq(app.args, orderedArgs)) { @@ -428,6 +427,7 @@ trait Applications extends Compatibility { self: Typer => typedArgs = args.asInstanceOf[List[Tree]] methodType.instantiate(typedArgs.tpes) } + } val app1 = cpy.Apply(app, normalizedFun, typedArgs).withType(ownType) if (liftedDefs != null && liftedDefs.nonEmpty) Block(liftedDefs.toList, app1) else app1 -- cgit v1.2.3