diff options
author | Martin Odersky <odersky@gmail.com> | 2014-06-12 14:50:05 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-06-12 15:35:57 +0200 |
commit | 96196c9ffa9939acd7437103d1621dac96e9abc6 (patch) | |
tree | ca87d4f694e47e453ad4d791cff80adb4cf3bbe4 /src/dotty/tools/dotc/core/Flags.scala | |
parent | 51563aee5478f90a0f86c29385f74d020b8995dd (diff) | |
download | dotty-96196c9ffa9939acd7437103d1621dac96e9abc6.tar.gz dotty-96196c9ffa9939acd7437103d1621dac96e9abc6.tar.bz2 dotty-96196c9ffa9939acd7437103d1621dac96e9abc6.zip |
Names and definitions for Lambdas
Adding names and definitions for the Lambda scheme to hk types.
Also add HigherKinded flag for HK type parameters and abstract types.
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Flags.scala | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/core/Flags.scala b/src/dotty/tools/dotc/core/Flags.scala index 9f87120f8..40da7525d 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -198,8 +198,9 @@ object Flags { final val Final = commonFlag(6, "final") /** A method symbol. */ - final val MethodCommon = commonFlag(7, "<method>") - final val Method = MethodCommon.toTermFlags + final val MethodOrHKCommon = commonFlag(7, "<method>") + final val Method = MethodOrHKCommon.toTermFlags + final val HigherKinded = MethodOrHKCommon.toTypeFlags /** A (term or type) parameter to a class or method */ final val Param = commonFlag(8, "<param>") @@ -411,7 +412,7 @@ object Flags { /** Flags guaranteed to be set upon symbol creation */ final val FromStartFlags = - AccessFlags | Module | Package | Deferred | MethodCommon | Param | Scala2ExistentialCommon | Touched | + AccessFlags | Module | Package | Deferred | MethodOrHKCommon | Param | Scala2ExistentialCommon | Touched | Static | CovariantCommon | ContravariantCommon | ExpandedName | AccessorOrSealed | CaseAccessorOrTypeArgument | Frozen | Erroneous | ImplicitCommon | Permanent | SelfNameOrImplClass |