Handle stackoverflows when trying to print the maximal constraint

scala · Sep 2, 2022 · 5c16d2c · 5c16d2c
1 parent ef3dacf
commit 5c16d2c
Showing 1 changed file with 4 additions and 2 deletions.
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
 }