diff options
| -rw-r--r-- | src/dotty/tools/dotc/transform/TreeChecker.scala | 5 | ||||
| -rw-r--r-- | src/dotty/tools/dotc/typer/ReTyper.scala | 3 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/transform/TreeChecker.scala b/src/dotty/tools/dotc/transform/TreeChecker.scala index 074a278ca..4b3927ccf 100644 --- a/src/dotty/tools/dotc/transform/TreeChecker.scala +++ b/src/dotty/tools/dotc/transform/TreeChecker.scala @@ -426,8 +426,9 @@ class TreeChecker extends Phase with SymTransformer { !isPrimaryConstructorReturn && !pt.isInstanceOf[FunProto]) assert(tree.tpe <:< pt, - s"error at ${sourcePos(tree.pos)}\n" + - err.typeMismatchStr(tree.tpe, pt) + "\ntree = " + tree) + i"""error at ${sourcePos(tree.pos)} + |${err.typeMismatchStr(tree.tpe, pt)} + |tree = $tree""") tree } } diff --git a/src/dotty/tools/dotc/typer/ReTyper.scala b/src/dotty/tools/dotc/typer/ReTyper.scala index 03b415a6f..143d30f9e 100644 --- a/src/dotty/tools/dotc/typer/ReTyper.scala +++ b/src/dotty/tools/dotc/typer/ReTyper.scala @@ -87,7 +87,8 @@ class ReTyper extends Typer { try super.typedUnadapted(tree, pt) catch { case NonFatal(ex) => - typr.println(i"exception while typing $tree of class ${tree.getClass} # ${tree.uniqueId}") + if (ctx.isAfterTyper) + println(i"exception while typing $tree of class ${tree.getClass} # ${tree.uniqueId}") throw ex } |