Skip to content

Commit 7622bb1

Browse files
committed
Add way to debug -Xcheck-macros tree checking
1 parent 769ca3b commit 7622bb1

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

compiler/src/dotty/tools/dotc/transform/TreeChecker.scala

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -729,6 +729,11 @@ object TreeChecker {
729729
try treeChecker.typed(expansion)(using checkingCtx)
730730
catch
731731
case err: java.lang.AssertionError =>
732+
val stack =
733+
if !ctx.settings.Ydebug.value then "\nstacktrace available when compiling with `-Ydebug`"
734+
else if err.getStackTrace == null then " no stacktrace"
735+
else err.getStackTrace.nn.mkString(" ", " \n", "")
736+
732737
report.error(
733738
s"""Malformed tree was found while expanding macro with -Xcheck-macros.
734739
|The tree does not conform to the compiler's tree invariants.
@@ -741,7 +746,7 @@ object TreeChecker {
741746
|
742747
|Error:
743748
|${err.getMessage}
744-
|
749+
|$stack
745750
|""",
746751
original
747752
)

0 commit comments

Comments
 (0)