summaryrefslogtreecommitdiff
path: root/test/files/pos/t2994a.scala
Commit message (Collapse)AuthorAgeFilesLines
* Revert "SI-7517 type constructors too eagerly normalized."Paul Phillips2013-06-031-3/+5
| | | | | | | | | This reverts commit 14534c693d2eb6acafaf8244c14b5643388fbd67. It turns out this approach was breaking the working variations in the submitted test case even as it was unbreaking the unworking one, but I never managed to uncomment them. Fortunately retronym's test case was not so lackadaisical.
* SI-7517 type constructors too eagerly normalized.Paul Phillips2013-05-311-5/+3
| | | | | | | | | | | | | | I think 403eadd0f1 was largely a symptomatic remedy (not that we shouldn't harden against such outcomes) and that this commit gets closer to the root causes. The unanticipated change to test/files/run/t6113.check is like a cry of support from the jury box. -Foo[[X](Int, X)] +Foo[AnyRef{type l[X] = (Int, X)}#l] We should continue to look at calls to normalize with grave suspicion.
* Begone t1737...Hubert Plociniczak2011-11-021-2/+2
|
* closes #2994Adriaan Moors2010-03-081-0/+27
make normalize slightly more aggressive in loading symbol info, while ) tolerating the righteous cycle (use sym.info.typeParameters instead ) of unsafeParams this is needed to make sure higher-kinded types have ) their type parameters (otherwise we'd get a PolyType with NoSymbol for ) typeParams )