diff options
author | Martin Odersky <odersky@gmail.com> | 2015-02-12 20:29:11 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:11:05 +0100 |
commit | 0ed27cc87d1f080836b319f97cbf900c2ba2c234 (patch) | |
tree | b49ddea5d864140e6b7e64f2a61a409e348bd745 /src/dotty/tools/dotc/core/Flags.scala | |
parent | 5ae8b128eb3e694c3fbb83124371a9bbb9d698fe (diff) | |
download | dotty-0ed27cc87d1f080836b319f97cbf900c2ba2c234.tar.gz dotty-0ed27cc87d1f080836b319f97cbf900c2ba2c234.tar.bz2 dotty-0ed27cc87d1f080836b319f97cbf900c2ba2c234.zip |
Fix serialization of Bind-defined types in type patterns.
These are now represented as BIND nodes in pickled types.
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 3a174d95f..c2e7cd399 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -300,7 +300,7 @@ object Flags { /** Method is assumed to be stable */ final val Stable = termFlag(24, "<stable>") - + /** A case parameter accessor */ final val CaseAccessor = termFlag(25, "<caseaccessor>") @@ -318,6 +318,9 @@ object Flags { /** A method that has default params */ final val DefaultParameterized = termFlag(27, "<defaultparam>") + /** A type that is defined by a type bind */ + final val BindDefinedType = typeFlag(27, "<bind-defined>") + /** Symbol is initialized to the default value, e.g. var x: T = _ */ final val DefaultInit = termFlag(28, "<defaultinit>") |