diff options
author | Martin Odersky <odersky@gmail.com> | 2015-03-01 14:46:42 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:14:12 +0100 |
commit | a543ed10445f2d4d61a61cd333fa9273c3a32ea0 (patch) | |
tree | b089c96d2f5d3a5a7cdc0a59f995d52db54b672d /src/dotty/tools/dotc/core/Flags.scala | |
parent | dd5be327395cb4a6380467e5e7c85cc0d7a5e70d (diff) | |
download | dotty-a543ed10445f2d4d61a61cd333fa9273c3a32ea0.tar.gz dotty-a543ed10445f2d4d61a61cd333fa9273c3a32ea0.tar.bz2 dotty-a543ed10445f2d4d61a61cd333fa9273c3a32ea0.zip |
Bugfixes in unpickling
- better diagnostics, avoid try-finally-assert, because that masks errors.
- handle paths as terms correctly.
- need to set flags wholesale from pickling, not just add to them.
- fix pickling of refined types and skolem types.
- dealias type aliases representing parameter instantiations before pickling,
so that we do not refer to as-yet-undefined symbols.
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Flags.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Flags.scala b/src/dotty/tools/dotc/core/Flags.scala index 4a016ba72..f4dae9b2e 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -532,7 +532,10 @@ object Flags { /** A type parameter or type parameter accessor */ final val TypeParamOrAccessor = TypeParam | TypeParamAccessor - + + /** If symbol of a type alias has these flags, prefer the alias */ + final val AliasPreferred = TypeParam | TypeArgument | ExpandedName + /** A covariant type parameter instance */ final val LocalCovariant = allOf(Local, Covariant) |