diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-09 13:35:33 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-03-09 13:39:22 +0100 |
commit | af337f0667fa559411f9a96355b9ceeabf95b232 (patch) | |
tree | 25d3e9e7c55b9adcce5e744108f0ff219bb7b874 /src/dotty/tools/dotc/util | |
parent | d827b0180b05e7461856f668c3c4ca0ea6ed5d62 (diff) | |
download | dotty-af337f0667fa559411f9a96355b9ceeabf95b232.tar.gz dotty-af337f0667fa559411f9a96355b9ceeabf95b232.tar.bz2 dotty-af337f0667fa559411f9a96355b9ceeabf95b232.zip |
Fix of #50 - volatile
Volatile checking needs to take all intersections into account; previously these
could be discarded through needsChecking.
Plus several refactorings and additions.
1) Module vals now have Final and Stable flags set
2) All logic around isVolatile is now in TypeOps; some of it was moved from Types.
3) Added stability checking to Select and SelectFromType typings.
Todo: We should find a better name for isVolatile. Maybe define the negation instead under the name
"isRealizable"?.
Diffstat (limited to 'src/dotty/tools/dotc/util')
-rw-r--r-- | src/dotty/tools/dotc/util/common.scala | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/util/common.scala b/src/dotty/tools/dotc/util/common.scala index 5f133b079..d7596c28e 100644 --- a/src/dotty/tools/dotc/util/common.scala +++ b/src/dotty/tools/dotc/util/common.scala @@ -7,8 +7,6 @@ import core.Types.WildcardType /** Common values hoisted out for performance */ object common { - val emptyDNF = (Nil, Set[Name]()) :: Nil - val alwaysTrue = Function.const(true) _ val alwaysZero = Function.const(0) _ val alwaysWildcardType = Function.const(WildcardType) _ |