Reporting max constraint

Instead of throwing an exception if SImpleMap size goes over some threshold, we now report the largest constraint encountered in a run.

1 files changed, 4 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/Run.scala b/src/dotty/tools/dotc/Run.scala
index a00fda36b..b12511478 100644
--- a/src/dotty/tools/dotc/Run.scala
+++ b/src/dotty/tools/dotc/Run.scala
@@ -4,7 +4,7 @@ package dotc
 import core._
 import Contexts._, Periods._, Symbols._
 import io.PlainFile
-import util.{SourceFile, NoSource, Stats}
+import util.{SourceFile, NoSource, Stats, SimpleMap}
 
 class Run(comp: Compiler)(implicit ctx: Context) {
 
@@ -28,6 +28,8 @@ class Run(comp: Compiler)(implicit ctx: Context) {
     }
   }
 
-  def printSummary(): Unit =
+  def printSummary(): Unit = {
     ctx.typerState.reporter.printSummary
+    Constraint.printMax()
+  }
 }
\ No newline at end of file