diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-01-19 16:36:50 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-01-19 16:44:31 +0100 |
| commit | 3686713abe506f5d815fd850e9db012497b1aa5c (patch) | |
| tree | 3a124118cf3f89a21fa164644c19faac68306d95 /src/dotty/tools/dotc/config/Config.scala | |
| parent | a93cdf4077003dad3428a4af34ba30c3d812dc78 (diff) | |
| download | dotty-3686713abe506f5d815fd850e9db012497b1aa5c.tar.gz dotty-3686713abe506f5d815fd850e9db012497b1aa5c.tar.bz2 dotty-3686713abe506f5d815fd850e9db012497b1aa5c.zip | |
Don't force symbol denotation when taking fingerprint.
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index cf43d277e..212defbbf 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -4,7 +4,7 @@ object Config { final val cacheMembersNamed = true final val cacheAsSeenFrom = true - final val useFingerPrints = true + final val useFingerPrints = true // note: it currently seems to be slightly faster not to use them! my junit test: 548s without, 560s with. final val cacheMemberNames = true final val cacheImplicitScopes = true |