implementing Martin's suggestions for tcpoly

- prefixString in SingleType suppresses scala.Predef prefixes
- (sym.isPredefModule) better handling of double defs of `_' in type
- params (now in enterInScope in Namers) introduced HKmode to indicate
- we're typing a higher-kinded type, instead of reusing POLYmode |
- TAPPmode

- Typers.typedTypeConstructor does not normalize the result anymore -- now in GenICode
          generatedType = toTypeKind(tpt.tpe.normalize)

1 files changed, 3 insertions, 3 deletions

diff --git a/test/files/neg/bug521.check b/test/files/neg/bug521.check
index d058d2971e..80a1931231 100644
--- a/test/files/neg/bug521.check
+++ b/test/files/neg/bug521.check
@@ -1,14 +1,14 @@
-bug521.scala:10: error: class PlainFile needs to be abstract, since method path in class AbstractFile of type => scala.Predef.String is not defined
+bug521.scala:10: error: class PlainFile needs to be abstract, since method path in class AbstractFile of type => String is not defined
 class PlainFile(val file : File) extends AbstractFile {}
 ^
 bug521.scala:13: error: error overriding value file in class PlainFile of type java.io.File;
  value file needs `override' modifier
 final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) {
                        ^
-bug521.scala:13: error: class ZipArchive needs to be abstract, since method path in class AbstractFile of type => scala.Predef.String is not defined
+bug521.scala:13: error: class ZipArchive needs to be abstract, since method path in class AbstractFile of type => String is not defined
 final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) {
       ^
-bug521.scala:15: error: error overriding value path in class VirtualFile of type scala.Predef.String;
+bug521.scala:15: error: error overriding value path in class VirtualFile of type String;
  method path needs to be an immutable value
     override def path = "";
              ^