|
Merged revisions 19567,19569-19570 via svnmerge from
https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk
........
r19567 | odersky | 2009-11-12 17:12:16 +0100 (Thu, 12 Nov 2009) | 4 lines
Fixed #2517
Fixed #2606
Fixed #2598
Fixed #1836
........
r19569 | moors | 2009-11-12 17:56:31 +0100 (Thu, 12 Nov 2009) | 8 lines
fixed #2587
two underlying problems:
- isAsSpecific did not skolemize lower (left) type in subtyping check (instead used withTypeVar on left and right)
- withTypeVars did not clone the symbols of the type params (so they were not fresh)
(the second fix is not essential due to the first fix, it "improves correctness", but should check whether performance is not impacted too severely)
applied martin's documentation diff
........
r19570 | moors | 2009-11-12 17:56:33 +0100 (Thu, 12 Nov 2009) | 1 line
fixed #2454
........
|