From 7ccd02c2cd23e4187f3e3a378973704cecd6459a Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 30 Jan 2016 20:01:14 +0100 Subject: Realizability refactoring Distinguish between isStable and isRealizable. Issue migration warnings for realizibility failures. Provide error diagnostics why something is not realizable. --- src/dotty/tools/dotc/core/Flags.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/core/Flags.scala') 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, "") /** A case parameter accessor */ -- cgit v1.2.3