summaryrefslogtreecommitdiff
path: root/test/files/neg/depmet_1.check
Commit message (Collapse)AuthorAgeFilesLines
* less confusing wording for a dependent method type errorSeth Tisue2015-11-071-2/+2
| | | | | | | | note to reviewers: the error messages in this file are over the place about whether they're called "parameter sections", or "argument lists", or what, so there's no point in being picky about that here for context see SI-823
* closes #1569, #3731: refactored dependent metho...Adriaan Moors2010-09-161-0/+10
closes #1569, #3731: refactored dependent method types to get rid of debruijn indices and use singleton types instead. this is the core of the dependent types refactoring, no implicit or inference changes (one baffling discovery: resultType should drop annotations that don't subclass TypeConstraint, even in the trivial case... wow -- thanks to Tiark for helping me figure it out on a terrace in Barcelona TODO: probably need a more principled approach to the propagation of plugin type-annotations) review by odersky