diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-26 14:19:01 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-26 18:12:11 +0200 |
commit | 8017c54da7b512478a78367f9b31a6b13260b311 (patch) | |
tree | 81db07319e90bdc494641d1dee6c9f365f4b7d2d /src/dotty/tools/dotc/core/Types.scala | |
parent | 830a66276c40d9552f0d55b1b560a85a26d0b56c (diff) | |
download | dotty-8017c54da7b512478a78367f9b31a6b13260b311.tar.gz dotty-8017c54da7b512478a78367f9b31a6b13260b311.tar.bz2 dotty-8017c54da7b512478a78367f9b31a6b13260b311.zip |
Disable checkConstraintClosed by default
Checking that constraints are closed caused cyclic reference exceptions in
DottyBackedInterface. What's worrying is that these were seemingly not checked
by the checkin tests. Or maybe there is some dependcy on compilation order that triggers
the erros only in my setup.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 1270466e9..d6bb9c3c5 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2460,6 +2460,8 @@ object Types { if (ctx.typerState.isGlobalCommittable) assert(!inst.isInstanceOf[PolyParam], i"bad inst $this := $inst, constr = ${ctx.typerState.constraint}") + // If this fails, you might want to turn on Config.debugCheckConstraintsClosed + // to help find the root of the problem. instantiateWith(inst) } |