From 24eb581d805653215fce5f931f78789e31924800 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Mon, 16 Apr 2007 11:23:30 +0000 Subject: 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) --- test/files/neg/bug588.check | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/files/neg/bug588.check') diff --git a/test/files/neg/bug588.check b/test/files/neg/bug588.check index 648484176e..f652292a2c 100644 --- a/test/files/neg/bug588.check +++ b/test/files/neg/bug588.check @@ -1,6 +1,6 @@ bug588.scala:3: error: double definition: -method visit:((scala.Predef.int) => scala.Predef.String)scala.Predef.boolean and -method visit:((scala.Predef.int) => scala.Predef.unit)scala.Predef.boolean at line 2 +method visit:((int) => String)boolean and +method visit:((int) => unit)boolean at line 2 have same type after erasure: (scala.Function1)scala.Boolean def visit(f: int => String): boolean ^ -- cgit v1.2.3