Refine notion of pattern variables.

They are variables only in certain regions of a pattern, but not in others. E.g. in

    nme.CONSTRUCTOR

nme is NOT a variable.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/dotty/tools/dotc/util/ShowPickled.scala b/src/dotty/tools/dotc/util/ShowPickled.scala
index ab2801127..71c48042c 100644
--- a/src/dotty/tools/dotc/util/ShowPickled.scala
+++ b/src/dotty/tools/dotc/util/ShowPickled.scala
@@ -112,7 +112,7 @@ object ShowPickled {
     result.toInt
   }
 
-  def printFile(buf: PickleBuffer, out: PrintStream = System.out) {
+  def printFile(buf: PickleBuffer, out: PrintStream = System.out): Unit = {
     out.println("Version " + buf.readNat() + "." + buf.readNat())
     val index = buf.createIndex
     val entryList = makeEntryList(buf, index)
@@ -120,7 +120,7 @@ object ShowPickled {
 
     def p(s: String) = out print s
 
-    def printNameRef() {
+    def printNameRef(): Unit = {
       val idx = buf.readNat()
       val name = entryList nameAt idx
       val toPrint = " %s(%s)".format(idx, name)
@@ -138,7 +138,7 @@ object ShowPickled {
     def printConstAnnotArgRef() = printNat()
     def printAnnotArgRef() = printNat()
 
-    def printSymInfo(end: Int) {
+    def printSymInfo(end: Int): Unit = {
       printNameRef()
       printSymbolRef()
       val pflags = buf.readLongNat()
@@ -176,7 +176,7 @@ object ShowPickled {
      *  interpreted are for the most part going to tell you the wrong thing.
      *  It's not so easy to duplicate the logic applied in the UnPickler.
      */
-    def printEntry(i: Int) {
+    def printEntry(i: Int): Unit = {
       buf.readIndex = index(i)
       p(i + "," + buf.readIndex + ": ")
       val tag = buf.readByte()