Compute PureInterface flag after pickling.

ElimLocals becomes a slightly less trivial transform: NormalizeFlags.
It also computes PureInterface flag, thus relieving Namer and Unpickler
from doing the same in two different ways. Besides, the computation in
Namer/TreeInfo was flawed because it did not take into account that
nested non-static classes are not allowed in an interface (only static
classes are, but these would not be members of the interface in the Scala
sense).

1 files changed, 21 insertions, 0 deletions

diff --git a/tests/pos/pickleOK/Labels.scala b/tests/pos/pickleOK/Labels.scala
new file mode 100644
index 000000000..4a84175af
--- /dev/null
+++ b/tests/pos/pickleOK/Labels.scala
@@ -0,0 +1,21 @@
+object Labels {
+  def main(args: Array[String]): Unit = {
+  var i = 10
+  while(i>0) { 
+   var j = 0
+   while(j<i) {
+   println(j+" " + i)
+   j = j +1
+   } 
+   i = i - 1}
+   pattern(1)
+   pattern(2)
+   pattern(3) 
+ }
+ 
+ def pattern(a: Int) = a match {
+  case 1 if (a>0) => println("one")
+  case t@2 => println("two" + t)
+  case _ => println("default")
+ }
+}