diff options
author | Martin Odersky <odersky@gmail.com> | 2015-02-27 16:51:10 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:14:12 +0100 |
commit | 60e520c73d20526f2cf21c90088480f0a971fbc3 (patch) | |
tree | 4b942de8a941491ef953279f9969790030f9d8a9 /src/dotty/tools/dotc/core/Flags.scala | |
parent | a0c2d6c5ba6d190d183babb3941b3607b112b8fc (diff) | |
download | dotty-60e520c73d20526f2cf21c90088480f0a971fbc3.tar.gz dotty-60e520c73d20526f2cf21c90088480f0a971fbc3.tar.bz2 dotty-60e520c73d20526f2cf21c90088480f0a971fbc3.zip |
Pickle trait flag and compute PureInterface and NoInits in unpickler.
1) Trait was missing, needs to be serialized.
2) The other two flags are not serialized, need to be reconstituted on
unpickling.
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Flags.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/core/Flags.scala b/src/dotty/tools/dotc/core/Flags.scala index e57ba066e..4a016ba72 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -335,8 +335,8 @@ object Flags { final val JavaStaticTerm = JavaStatic.toTermFlags final val JavaStaticType = JavaStatic.toTypeFlags - /** Trait is not an interface, but does not have fields or intialization code */ - final val NoInits = typeFlag(32, "<noInits>") // TODO when unpickling, reconstitute from context + /** Trait is not an interface, but does not have fields or initialization code */ + final val NoInits = typeFlag(32, "<noInits>") /** Variable is accessed from nested function. */ final val Captured = termFlag(32, "<captured>") @@ -367,7 +367,7 @@ object Flags { /** Symbol always defines a fresh named type */ final val Fresh = commonFlag(45, "<fresh>") - /** Symbol is defined in a super call */ // TODO when unpickling, reconstitute from context + /** Symbol is defined in a super call */ final val InSuperCall = commonFlag(46, "<in supercall>") /** Symbol with private access is accessed outside its private scope */ |