diff options
author | Martin Odersky <odersky@gmail.com> | 2014-09-25 13:47:42 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-11 06:38:11 +0200 |
commit | eb2e265e12d10aa28c63bbe99b2c4a4a79ee8869 (patch) | |
tree | fbee74ff83a2d47a95c0fea71178034d906ef998 /src/dotty/tools/dotc/config/Config.scala | |
parent | 543ff7f4123ded7172fd6ede59f09945efd7c158 (diff) | |
download | dotty-eb2e265e12d10aa28c63bbe99b2c4a4a79ee8869.tar.gz dotty-eb2e265e12d10aa28c63bbe99b2c4a4a79ee8869.tar.bz2 dotty-eb2e265e12d10aa28c63bbe99b2c4a4a79ee8869.zip |
Make rejection of deep subtype call stack optional
Move flag that throws exception on deep subtyping stacks from Config varianble to setting.
Disable setting for core-pickling which had a deep subtype failure after pattern matcher
was integrated. Todo: Figure out why the subtype stack got so deep.
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
-rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 353ec1dce..b17a5630f 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -21,9 +21,6 @@ object Config { */ final val checkNoDoubleBindings = true - /** Throw an exception if a deep subtype recursion is detected */ - final val flagDeepSubTypeRecursions = true - /** Show subtype traces for all deep subtype recursions */ final val traceDeepSubTypeRecursions = false |