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/accesses.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/accesses.check')
-rw-r--r-- | test/files/neg/accesses.check | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/files/neg/accesses.check b/test/files/neg/accesses.check index 8b8856370b..2fa78ffc50 100644 --- a/test/files/neg/accesses.check +++ b/test/files/neg/accesses.check @@ -1,16 +1,16 @@ -accesses.scala:23: error: error overriding method f2 in class A of type => scala.Predef.unit; +accesses.scala:23: error: error overriding method f2 in class A of type => unit; method f2 has weaker access privileges; it should not be private private def f2: unit = () ^ -accesses.scala:24: error: error overriding method f3 in class A of type => scala.Predef.unit; +accesses.scala:24: error: error overriding method f3 in class A of type => unit; method f3 has weaker access privileges; it should be at least protected private[p2] def f3: unit = () ^ -accesses.scala:25: error: error overriding method f4 in class A of type => scala.Predef.unit; +accesses.scala:25: error: error overriding method f4 in class A of type => unit; method f4 has weaker access privileges; it should be at least private[p1] private[p2] def f4: unit ^ -accesses.scala:26: error: error overriding method f5 in class A of type => scala.Predef.unit; +accesses.scala:26: error: error overriding method f5 in class A of type => unit; method f5 has weaker access privileges; it should be at least protected[p1] protected[p2] def f5: unit ^ |