diff options
| author | Paul Phillips <paulp@improving.org> | 2013-05-11 13:02:54 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2013-05-11 13:02:54 -0700 |
| commit | 24cad039b309cf3ccd79aca8f3bae398a42ab66b (patch) | |
| tree | 7074df39940276bd2f93e156310a5bc4e2948508 /src/reflect | |
| parent | b174efbcbcf241903d2dc970f950f594b8c8c5e7 (diff) | |
| download | scala-24cad039b309cf3ccd79aca8f3bae398a42ab66b.tar.gz scala-24cad039b309cf3ccd79aca8f3bae398a42ab66b.tar.bz2 scala-24cad039b309cf3ccd79aca8f3bae398a42ab66b.zip | |
Eliminated HKmode.
It becomes context mode "TypeConstructor".
Diffstat (limited to 'src/reflect')
| -rw-r--r-- | src/reflect/scala/reflect/internal/Mode.scala | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/reflect/scala/reflect/internal/Mode.scala b/src/reflect/scala/reflect/internal/Mode.scala index a15a3dcc84..37633c9302 100644 --- a/src/reflect/scala/reflect/internal/Mode.scala +++ b/src/reflect/scala/reflect/internal/Mode.scala @@ -52,12 +52,6 @@ object Mode { */ final val LHSmode: Mode = 0x400 - /** HKmode is set when we are typing a higher-kinded type. - * adapt should then check kind-arity based on the prototypical type's - * kind arity. Type arguments should not be inferred. - */ - final val HKmode: Mode = 0x4000 // @M: could also use POLYmode | TAPPmode - /** BYVALmode is set when we are typing an expression * that occurs in a by-value position. An expression e1 is in by-value * position within expression e2 iff it will be reduced to a value at that @@ -90,7 +84,7 @@ object Mode { (1 << 11) -> "<>", (1 << 12) -> "<>", // formerly STARmode (1 << 13) -> "<>", // formerly ALTmode - (1 << 14) -> "HKmode", + (1 << 14) -> "<>", // formerly HKmode (1 << 15) -> "BYVALmode", (1 << 16) -> "TYPEPATmode" ).map({ case (k, v) => Mode(k) -> v }) @@ -120,7 +114,6 @@ final class Mode private (val bits: Int) extends AnyVal { def inByValMode = inAll(BYVALmode) def inExprMode = inAll(EXPRmode) def inFunMode = inAll(FUNmode) - def inHKMode = inAll(HKmode) def inLhsMode = inAll(LHSmode) def inPatternMode = inAll(PATTERNmode) def inPolyMode = inAll(POLYmode) |