diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-09-29 17:33:09 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-29 19:19:31 +0200 |
| commit | 5b07f556ebb1e87d5b5c87c6375fa33c29c9a72d (patch) | |
| tree | 01a1f22becd246dc494ef398c7980fcc9f2c16fd /src/dotty/tools/dotc/config/Config.scala | |
| parent | 9c8e247d8900f3fb6f497bc5e269b68f6bc967b7 (diff) | |
| download | dotty-5b07f556ebb1e87d5b5c87c6375fa33c29c9a72d.tar.gz dotty-5b07f556ebb1e87d5b5c87c6375fa33c29c9a72d.tar.bz2 dotty-5b07f556ebb1e87d5b5c87c6375fa33c29c9a72d.zip | |
Eliminate Config.newMatch option
With the new approach to matching it is no longer sound.
We always have to match infos anyway to be sure.
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index d66d1ecdb..7e3615416 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -76,12 +76,6 @@ object Config { */ final val checkProjections = false - /** When set, use new signature-based matching. - * Advantage of doing so: It's supposed to be faster - * Disadvantage: It might hide inconsistencies, so while debugging it's better to turn it off - */ - final val newMatch = false - /** The recursion depth for showing a summarized string */ final val summarizeDepth = 2 |