diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-15 15:37:48 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-15 17:51:23 +0100 |
| commit | fd9d3f3944852da09278196ae69d99af37e7bb13 (patch) | |
| tree | 76edbac961b5b0a51ff959b546891463ad1826e1 /src/dotty/tools/dotc/config/Config.scala | |
| parent | 9b630fae0d3c772610a2c58d9dbb4b95710c8c68 (diff) | |
| download | dotty-fd9d3f3944852da09278196ae69d99af37e7bb13.tar.gz dotty-fd9d3f3944852da09278196ae69d99af37e7bb13.tar.bz2 dotty-fd9d3f3944852da09278196ae69d99af37e7bb13.zip | |
Optionally rewrite projections.
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 7e3615416..cf43d277e 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -87,6 +87,15 @@ object Config { /** Check that certain types cannot be created in erasedTypes phases */ final val checkUnerased = true + /** In `derivedSelect`, rewrite + * + * (S & T)#A --> S#A & T#A + * (S | T)#A --> S#A | T#A + * + * Not sure whether this is useful. Preliminary measurements show a slowdown of about + * 7% for the build when this option is enabled. + */ + final val splitProjections = false /** Initial size of superId table */ final val InitialSuperIdsSize = 4096 |