diff options
author | Martin Odersky <odersky@gmail.com> | 2013-06-19 04:45:24 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-06-19 04:48:11 +0200 |
commit | b2dcc777e5a6a1e6d1fff89c7fa794129ad5d135 (patch) | |
tree | 2bac3a26ea6f7d62d713206687ba631c3c1cfad5 /src/dotty/tools/dotc/core/Flags.scala | |
parent | 928a2a99288c3aa425654e63aea5ddc70359d4ac (diff) | |
download | dotty-b2dcc777e5a6a1e6d1fff89c7fa794129ad5d135.tar.gz dotty-b2dcc777e5a6a1e6d1fff89c7fa794129ad5d135.tar.bz2 dotty-b2dcc777e5a6a1e6d1fff89c7fa794129ad5d135.zip |
Taking accessibility into account for &, |
Changed the algorithm for & (and also |) to take accessibility into account. Fixed various problems that opened up when doing this.
Under -debug, new and old behavior of & are checked side-by-side and any discrepancy is noted.
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Flags.scala | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Flags.scala b/src/dotty/tools/dotc/core/Flags.scala index 6e4777749..9f4cce728 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -274,11 +274,12 @@ object Flags { final val Label = termFlag(22, "<label>") /** Labeled with `abstract` modifier (an abstract class) + * Note: You should never see Abstract on any symbol except a class. * Note: the flag counts as common, because it can be combined with OVERRIDE in a term. */ final val Abstract = commonFlag(23, "abstract") - /** Labeled with of abstract & override */ + /** Labeled with of abstract & override (needed?) */ final val AbsOverride = termFlag(24, "abstract override") /** Method is assumed to be stable */ @@ -376,7 +377,7 @@ object Flags { Erroneous assert(FromStartFlags.isTermFlags && FromStartFlags.isTypeFlags) - // TODO: Should check that FromStartFlags do not changed in completion + // TODO: Should check that FromStartFlags do not change in completion /** A value that's unstable unless complemented with a Stable flag */ final val UnstableValue = Mutable | Method |