Added languageFeature annotation (was missing before). Resolved problem with late loading of nested classes in Definitions. Resolved handling of deprecated idents `then` and `macro`. Massaged test flags.

2 files changed, 35 insertions, 78 deletions

diff --git a/src/compiler/scala/tools/nsc/ast/parser/Parsers.scala b/src/compiler/scala/tools/nsc/ast/parser/Parsers.scala
index ef11427677..65225b185b 100644
--- a/src/compiler/scala/tools/nsc/ast/parser/Parsers.scala
+++ b/src/compiler/scala/tools/nsc/ast/parser/Parsers.scala
@@ -1773,21 +1773,7 @@ self =>
        */
       def pattern2(): Tree = {
         val nameOffset = in.offset
-        def warnIfMacro(tree: Tree): Unit = {
-          def check(name: Name): Unit = if (name.toString == nme.MACROkw.toString)
-            warning(nameOffset, "in future versions of Scala \"macro\" will be a keyword. consider using a different name.")
-          tree match {
-            case _: BackQuotedIdent =>
-              ;
-            case Ident(name) =>
-              check(name)
-            case _ =>
-              ;
-          }
-        }
-
         val p = pattern3()
-        warnIfMacro(p)
 
         if (in.token != AT) p
         else p match {
@@ -2463,8 +2449,6 @@ self =>
         val nameOffset = in.offset
         val isBackquoted = in.token == BACKQUOTED_IDENT
         val name = ident()
-        if (name.toString == nme.MACROkw.toString && !isBackquoted)
-          warning(nameOffset, "in future versions of Scala \"macro\" will be a keyword. consider using a different name.")
         funDefRest(start, nameOffset, mods, name)
       }
     }
@@ -2480,7 +2464,7 @@ self =>
         val vparamss = paramClauses(name, contextBoundBuf.toList, false)
         newLineOptWhenFollowedBy(LBRACE)
         var restype = fromWithinReturnType(typedOpt())
-         val rhs =
+        val rhs =
           if (isStatSep || in.token == RBRACE) {
             if (restype.isEmpty) restype = scalaUnitConstr
             newmods |= Flags.DEFERRED
@@ -2489,11 +2473,15 @@ self =>
             restype = scalaUnitConstr
             blockExpr()
           } else {
-            accept(EQUALS)
-            if (settings.Xmacros.value && in.token == MACRO || // [Martin] Xmacros can be retired now
-                in.token == IDENTIFIER && in.name == nme.MACROkw) {
-              in.nextToken()
-              newmods |= Flags.MACRO
+            if (in.token == EQUALS) {
+              in.nextTokenAllow(nme.MACROkw)
+              if (settings.Xmacros.value && in.token == MACRO || // [Martin] Xmacros can be retired now
+                  in.token == IDENTIFIER && in.name == nme.MACROkw) {
+                in.nextToken()
+                newmods |= Flags.MACRO
+              }
+            } else {
+              accept(EQUALS)
             }
             expr()
           }
@@ -2556,8 +2544,6 @@ self =>
         val nameOffset = in.offset
         val isBackquoted = in.token == BACKQUOTED_IDENT
         val name = identForType()
-        if (name.toString == nme.MACROkw.toString && !isBackquoted)
-          warning(nameOffset, "in future versions of Scala \"macro\" will be a keyword. consider using a different name.")
         // @M! a type alias as well as an abstract type may declare type parameters
         val tparams = typeParamClauseOpt(name, null)
         in.token match {
@@ -2617,9 +2603,6 @@ self =>
       val nameOffset = in.offset
       val isBackquoted = in.token == BACKQUOTED_IDENT
       val name = identForType()
-      if (name.toString == nme.MACROkw.toString && !isBackquoted)
-        warning(nameOffset, "in future versions of Scala \"macro\" will be a keyword. consider using a different name.")
-
       atPos(start, if (name == tpnme.ERROR) start else nameOffset) {
         savingClassContextBounds {
           val contextBoundBuf = new ListBuffer[Tree]
@@ -2661,8 +2644,6 @@ self =>
       val nameOffset = in.offset
       val isBackquoted = in.token == BACKQUOTED_IDENT
       val name = ident()
-      if (name.toString == nme.MACROkw.toString && !isBackquoted)
-        warning(nameOffset, "in future versions of Scala \"macro\" will be a keyword. consider using a different name.")
       val tstart = in.offset
       atPos(start, if (name == nme.ERROR) start else nameOffset) {
         val mods1 = if (in.token == SUBTYPE) mods | Flags.DEFERRED else mods
@@ -2841,24 +2822,7 @@ self =>
      */
     def packaging(start: Int): Tree = {
       val nameOffset = in.offset
-      def warnIfMacro(tree: Tree): Unit = {
-        def check(name: Name): Unit = if (name.toString == nme.MACROkw.toString)
-          warning(nameOffset, "in future versions of Scala \"macro\" will be a keyword. consider using a different name.")
-        tree match {
-          case _: BackQuotedIdent =>
-            ;
-          case Ident(name) =>
-            check(name)
-          case Select(qual, name) =>
-            warnIfMacro(qual)
-            check(name)
-          case _ =>
-            ;
-        }
-      }
-
       val pkg = pkgQualId()
-      warnIfMacro(pkg)
       val stats = inBracesOrNil(topStatSeq())
       makePackaging(start, pkg, stats)
     }
@@ -3061,27 +3025,8 @@ self =>
             }
           } else {
             val nameOffset = in.offset
-            def warnIfMacro(tree: Tree): Unit = {
-              def check(name: Name): Unit = if (name.toString == nme.MACROkw.toString)
-                warning(nameOffset, "in future versions of Scala \"macro\" will be a keyword. consider using a different name.")
-              tree match {
-                // [Eugene] pkgQualId never returns BackQuotedIdents
-                // this means that we'll get spurious warnings even if we wrap macro package name in backquotes
-                case _: BackQuotedIdent =>
-                  ;
-                case Ident(name) =>
-                  check(name)
-                case Select(qual, name) =>
-                  warnIfMacro(qual)
-                  check(name)
-                case _ =>
-                  ;
-              }
-            }
-
             in.flushDoc
             val pkg = pkgQualId()
-            warnIfMacro(pkg)
 
             if (in.token == EOF) {
               ts += makePackaging(start, pkg, List())
diff --git a/src/compiler/scala/tools/nsc/ast/parser/Scanners.scala b/src/compiler/scala/tools/nsc/ast/parser/Scanners.scala
index c75e806b2a..105db805d8 100644
--- a/src/compiler/scala/tools/nsc/ast/parser/Scanners.scala
+++ b/src/compiler/scala/tools/nsc/ast/parser/Scanners.scala
@@ -113,20 +113,19 @@ trait Scanners extends ScannersCommon {
     }
 
     /** Clear buffer and set name and token */
-    private def finishNamed() {
+    private def finishNamed(idtoken: Int = IDENTIFIER) {
       name = newTermName(cbuf.toString)
-      token = name2token(name)
-      cbuf.clear()
-    }
-
-    /** Convert name to token */
-    private def name2token(name: Name) = {
+      token = idtoken
       val idx = name.start - kwOffset
       if (idx >= 0 && idx < kwArray.length) {
-        val token = kwArray(idx)
-        if (token == IDENTIFIER) deprecationWarning(name+" is now a reserved word; usage as an identifier is deprecated")
-        token
-      } else IDENTIFIER
+        token = kwArray(idx)
+        if (token == IDENTIFIER) {
+          if (idtoken == IDENTIFIER && allowIdent != name)
+            deprecationWarning(name+" is now a reserved word; usage as an identifier is deprecated")
+          token = idtoken
+        }
+      }
+      cbuf.clear()
     }
 
     /** Clear buffer and set string */
@@ -200,6 +199,20 @@ trait Scanners extends ScannersCommon {
       off
     }
 
+    /** Allow an otherwise deprecated ident here */
+    private var allowIdent: Name = nme.EMPTY
+
+    /** Get next token, and allow the otherwise deprecated ident `name`  */
+    def nextTokenAllow(name: Name) = {
+      val prev = allowIdent
+      allowIdent = name
+      try {
+        nextToken()
+      } finally {
+        allowIdent = prev
+      }
+    }
+
     /** Produce next token, filling TokenData fields of Scanner.
      */
     def nextToken() {
@@ -572,9 +585,8 @@ trait Scanners extends ScannersCommon {
       getLitChars('`')
       if (ch == '`') {
         nextChar()
-        finishNamed()
+        finishNamed(BACKQUOTED_IDENT)
         if (name.length == 0) syntaxError("empty quoted identifier")
-        token = BACKQUOTED_IDENT
       }
       else syntaxError("unclosed quoted identifier")
     }