diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Flags.scala | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Flags.scala b/src/dotty/tools/dotc/core/Flags.scala index 3a54340d8..229d71568 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -370,6 +370,9 @@ object Flags { /** A method that is known to no default parameters */ final val NoDefaultParams = termFlag(60, "<no-default-param>") + /** A denotation that is valid in all run-ids */ + final val Permanent = commonFlag(61, "<permanent>") + // --------- Combined Flag Sets and Conjunctions ---------------------- /** Flags representing source modifiers */ @@ -384,7 +387,7 @@ object Flags { final val FromStartFlags = AccessFlags | Module | Package | Deferred | Param | Scala2ExistentialCommon | Touched | Static | CovariantCommon | ContravariantCommon | ExpandedName | AccessorOrSealed | Frozen | - Erroneous | ImplicitCommon + Erroneous | ImplicitCommon | Permanent assert(FromStartFlags.isTermFlags && FromStartFlags.isTypeFlags) // TODO: Should check that FromStartFlags do not change in completion @@ -450,6 +453,9 @@ object Flags { /** Has defined or inherited default parameters */ final val HasDefaultParams = DefaultParameterized | InheritedDefaultParams + /** Is valid forever */ + final val ValidForever = Package | Permanent + /** Is a default parameter in Scala 2*/ final val DefaultParameter = allOf(Param, DefaultParameterized) |