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 /.gitattributes | |
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 '.gitattributes')
0 files changed, 0 insertions, 0 deletions