diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-11-27 14:17:12 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-11-27 14:17:12 +0100 |
| commit | f8c9dc95929655a198066652cd12109329836198 (patch) | |
| tree | 32f8c29e89ad426b7c0d6947cdda44878dc414fe /src/dotty/tools/dotc/config/Config.scala | |
| parent | f0b4fc58e0c5e5372c23bd817954ed3aa82b2102 (diff) | |
| download | dotty-f8c9dc95929655a198066652cd12109329836198.tar.gz dotty-f8c9dc95929655a198066652cd12109329836198.tar.bz2 dotty-f8c9dc95929655a198066652cd12109329836198.zip | |
Changed Signatures
Signatures have a different meaning before and after erasure. After erasure, the result type counts also whereas before it doesn't. The new definitions refelect this behavior.
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 4d93fae29..124b8d61c 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -2,9 +2,10 @@ package dotty.tools.dotc.config object Config { - final val cacheMemberNames = true + final val cacheMembersNamed = true final val cacheAsSeenFrom = true final val useFingerPrints = true + final val cacheMemberNames = true /** When set, use new signature-based matching. * Advantantage of doing so: It's supposed to be faster |