summaryrefslogtreecommitdiff
path: root/test/files/neg/tcpoly_variance_enforce.check
Commit message (Collapse)AuthorAgeFilesLines
* added comments; better errror messages; trace u...Martin Odersky2008-12-081-11/+11
| | | | | added comments; better errror messages; trace utility
* suppress "scala." prefix in string representati...Adriaan Moors2007-04-191-7/+7
| | | | | | suppress "scala." prefix in string representation of types (in error messages,..)
* implementing Martin's suggestions for tcpolyAdriaan Moors2007-04-161-5/+5
| | | | | | | | | | | | - 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)
* adding test files from tcpoly branch without hi...Adriaan Moors2007-04-061-0/+45
adding test files from tcpoly branch without history -- much faster this way, sorry