diff options
author | Martin Odersky <odersky@gmail.com> | 2016-02-05 11:19:39 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-05 11:19:39 +0100 |
commit | 55832b8020a498d9cd49e2de4f8a8a3ba696814c (patch) | |
tree | abe374f24b00fef640cbb95e199af51bbcc41df1 /src/dotty/tools/dotc/config | |
parent | c24ece505e53570566b499b817342a4dfa4087ff (diff) | |
download | dotty-55832b8020a498d9cd49e2de4f8a8a3ba696814c.tar.gz dotty-55832b8020a498d9cd49e2de4f8a8a3ba696814c.tar.bz2 dotty-55832b8020a498d9cd49e2de4f8a8a3ba696814c.zip |
Fix docs and naming
Diffstat (limited to 'src/dotty/tools/dotc/config')
-rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 212defbbf..461a15ac8 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -15,11 +15,12 @@ object Config { */ final val checkConstraintsNonCyclic = false - /** Like `checkConstraintsNonCyclic`, but all constrained parameters - * are tested for direct or indirect dependencies, each time a - * constraint is added in TypeComparer. + /** Make sure none of the bounds in an OrderingConstraint contains + * another constrained parameter at its toplevel (i.e. as an operand + * of a combination of &'s and |'s.). The check is performed each time + * a new bound is added to the constraint. */ - final val checkConstraintsNonCyclicTrans = false + final val checkConstraintsSeparated = false /** Check that each constraint resulting from a subtype test * is satisfiable. |