diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-04-16 11:23:30 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-04-16 11:23:30 +0000 |
| commit | 24eb581d805653215fce5f931f78789e31924800 (patch) | |
| tree | 3c0690df90110449a36a10461cae0260fca7ca74 /test/files/neg/tcpoly_variance.check | |
| parent | 3d9d369b7147f3933cce9932d2914f68d39418c3 (diff) | |
| download | scala-24eb581d805653215fce5f931f78789e31924800.tar.gz scala-24eb581d805653215fce5f931f78789e31924800.tar.bz2 scala-24eb581d805653215fce5f931f78789e31924800.zip | |
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)
Diffstat (limited to 'test/files/neg/tcpoly_variance.check')
| -rw-r--r-- | test/files/neg/tcpoly_variance.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/tcpoly_variance.check b/test/files/neg/tcpoly_variance.check index 5fd104d607..61d7094437 100644 --- a/test/files/neg/tcpoly_variance.check +++ b/test/files/neg/tcpoly_variance.check @@ -1,5 +1,5 @@ tcpoly_variance.scala:6: error: error overriding method str in class A of type => m[java.lang.Object]; - method str has incompatible type => m[scala.Predef.String] + method str has incompatible type => m[String] override def str: m[String] = error("foo") // since x in m[x] is invariant, ! m[String] <: m[Object] ^ one error found |