diff options
author | Martin Odersky <odersky@gmail.com> | 2016-01-30 20:01:14 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-09 09:40:52 +0100 |
commit | 7ccd02c2cd23e4187f3e3a378973704cecd6459a (patch) | |
tree | c1efbbb4b0f73cc94b83c011bbcdc1b34e34ff9b /src/dotty/tools/dotc/core/Flags.scala | |
parent | 1b7745e5f9c0e251436b33247133f3810838cf12 (diff) | |
download | dotty-7ccd02c2cd23e4187f3e3a378973704cecd6459a.tar.gz dotty-7ccd02c2cd23e4187f3e3a378973704cecd6459a.tar.bz2 dotty-7ccd02c2cd23e4187f3e3a378973704cecd6459a.zip |
Realizability refactoring
Distinguish between isStable and isRealizable.
Issue migration warnings for realizibility failures.
Provide error diagnostics why something is not realizable.
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Flags.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Flags.scala b/src/dotty/tools/dotc/core/Flags.scala index 42d06c2ab..8c9db3a5c 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -300,7 +300,7 @@ object Flags { */ final val Abstract = commonFlag(23, "abstract") - /** Method is assumed to be stable */ + /** Lazy val or method is known or assumed to be stable and realizable */ final val Stable = termFlag(24, "<stable>") /** A case parameter accessor */ |