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, 1 insertions, 1 deletions

diff --git a/test/files/neg/implicits.check b/test/files/neg/implicits.check
index 1af86e6c05..079764df42 100644
--- a/test/files/neg/implicits.check
+++ b/test/files/neg/implicits.check
@@ -2,7 +2,7 @@ implicits.scala:21: error: type mismatch;
  found   : Pos
  required: ?{val +: ?}
 Note that implicit conversions are not applicable because they are ambiguous:
- most specific definition is: method pos2int in object Super of type (Pos)scala.Predef.int
+ most specific definition is: method pos2int in object Super of type (Pos)int
  yet alternative definition   method any2plus in object Sub of type (scala.Any)Sub.Plus
  is defined in a subclass.
  Both definitions are possible conversion functions from Pos to ?{val +: ?}