Handle stackoverflows when trying to print the maximal constraint

odersky · odersky · commit 5c16d2c41aea · 2022-09-02T14:21:10.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/ConstraintRunInfo.scala b/compiler/src/dotty/tools/dotc/core/ConstraintRunInfo.scala
@@ -13,9 +13,11 @@ trait ConstraintRunInfo { self: Run =>
       maxConstraint = c
     }
   def printMaxConstraint()(using Context): Unit =
-    val printer = if (ctx.settings.YdetailedStats.value) default else typr
     if maxSize > 0 then
-      printer.println(s"max constraint = ${maxConstraint.nn.show}\nsize = $maxSize")
+      val printer = if ctx.settings.YdetailedStats.value then default else typr
+      printer.println(s"max constraint size: $maxSize")
+      try printer.println(s"max constraint = ${maxConstraint.nn.show}")
+      catch case ex: StackOverflowError => printer.println("max constraint cannot be printed due to stack overflow")
 
   protected def reset(): Unit = maxConstraint = null
 }

Original file line number	Diff line number	Diff line change
`@@ -13,9 +13,11 @@ trait ConstraintRunInfo { self: Run =>`
`13`	`13`	`maxConstraint = c`
`14`	`14`	`}`
`15`	`15`	`def printMaxConstraint()(using Context): Unit =`
`16`		`- val printer = if (ctx.settings.YdetailedStats.value) default else typr`
`17`	`16`	`if maxSize > 0 then`
`18`		`- printer.println(s"max constraint = ${maxConstraint.nn.show}\nsize = $maxSize")`
	`17`	`+ val printer = if ctx.settings.YdetailedStats.value then default else typr`
	`18`	`+ printer.println(s"max constraint size: $maxSize")`
	`19`	`+ try printer.println(s"max constraint = ${maxConstraint.nn.show}")`
	`20`	`+ catch case ex: StackOverflowError => printer.println("max constraint cannot be printed due to stack overflow")`
`19`	`21`
`20`	`22`	`protected def reset(): Unit = maxConstraint = null`
`21`	`23`	`}`