diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-19 12:49:57 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-19 12:49:57 +0100 |
| commit | b9d018e7af67428c7fff74ae5ed0c55af9f621ff (patch) | |
| tree | dd59c79524c88fae5f3dcb49fb9f940d1cee08c3 /src/dotty/tools/dotc/core/ConstraintHandling.scala | |
| parent | 68d58a651ee5a7853e58d40fa1decadd10df110c (diff) | |
| download | dotty-b9d018e7af67428c7fff74ae5ed0c55af9f621ff.tar.gz dotty-b9d018e7af67428c7fff74ae5ed0c55af9f621ff.tar.bz2 dotty-b9d018e7af67428c7fff74ae5ed0c55af9f621ff.zip | |
Make checkPropagated configurable
Only run if a config option is set.
Diffstat (limited to 'src/dotty/tools/dotc/core/ConstraintHandling.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/ConstraintHandling.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/ConstraintHandling.scala b/src/dotty/tools/dotc/core/ConstraintHandling.scala index e79dc28b9..28a0c87a2 100644 --- a/src/dotty/tools/dotc/core/ConstraintHandling.scala +++ b/src/dotty/tools/dotc/core/ConstraintHandling.scala @@ -236,7 +236,7 @@ trait ConstraintHandling { */ protected def addConstraint(param: PolyParam, bound: Type, fromBelow: Boolean): Boolean = { def description = i"constr $param ${if (fromBelow) ">:" else "<:"} $bound:\n$constraint" - checkPropagated(s"adding $description")(true) + //checkPropagated(s"adding $description")(true) // DEBUG in case following fails checkPropagated(s"added $description") { addConstraintInvocations += 1 try bound match { @@ -250,7 +250,7 @@ trait ConstraintHandling { } def checkPropagated(msg: => String)(result: Boolean): Boolean = { - if (result && addConstraintInvocations == 0) { + if (Config.checkConstraintsPropagated && result && addConstraintInvocations == 0) { frozenConstraint = true for (p <- constraint.domainParams) { for (u <- constraint.upper(p)) |