aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Enable t5629b.Dmitry Petrashko2015-06-192-0/+0
* Fix wrong test in PatMat.Dmitry Petrashko2015-06-193-1/+1
* Make named repeated parameters discoverable during PatMat.Dmitry Petrashko2015-06-192-3/+5
* Add initializers for lambdalift proxy fieldsMartin Odersky2015-06-193-10/+38
* Fix problem with explicit outer accessorsMartin Odersky2015-06-192-2/+16
* Merge pull request #639 from dotty-staging/add/trait-parametersodersky2015-06-1910-37/+186
|\
| * Fix merge breakageMartin Odersky2015-06-191-14/+17
| * Fixed typo introduced by mergeMartin Odersky2015-06-191-1/+2
| * References to trait parameter accessors do not have an elidable prefix.Martin Odersky2015-06-191-1/+1
| * More explicit test of trait parameter initialization orderMartin Odersky2015-06-191-0/+30
| * Drop parameter accessor flag in traitsMartin Odersky2015-06-192-4/+12
| * Revert: Implementations of mixin getters are never ParamAccessorsMartin Odersky2015-06-191-1/+1
| * Extend test to verify initialization orderMartin Odersky2015-06-191-6/+13
| * Convert pos test to be a run test.Martin Odersky2015-06-192-12/+19
| * Implement trait parametersMartin Odersky2015-06-195-16/+85
| * Implement checking for illegal parent trait constructor calls.Martin Odersky2015-06-194-5/+29
| * Implementations of mixin getters are never ParamAccessorsMartin Odersky2015-06-191-1/+1
* | Merge pull request #638 from dotty-staging/change/simplify-tastyodersky2015-06-195-40/+36
|\ \ | |/ |/|
| * Fixed compilation error.Martin Odersky2015-06-191-1/+0
| * Eliminate ABSOVERRIDE from TASTYMartin Odersky2015-06-193-21/+22
| * Don't keep SkolemTypes in TASTYMartin Odersky2015-06-195-18/+14
* | Merge pull request #666 from dotty-staging/fix/shadowing-soodersky2015-06-194-2/+47
|\ \
| * | Add missing testMartin Odersky2015-06-191-0/+38
| * | Fix stack overflow when testing for shadowingMartin Odersky2015-06-193-2/+9
|/ /
* | Merge pull request #663 from dotty-staging/fix/#643-scala2-noinitsDmitry Petrashko2015-06-1911-39/+55
|\ \ | |/ |/|
| * Add NoInits when reading a Scala2 pure interfaceMartin Odersky2015-06-161-1/+1
| * Use FlagSet directly instead of defKindMartin Odersky2015-06-165-38/+33
| * Produce PureInterface flag together with NoInits flagMartin Odersky2015-06-165-24/+45
| * Avoid double negation in isJvmSam.Martin Odersky2015-06-161-9/+8
| * Avoid spurious StaleSymbol error in <refinement> membersMartin Odersky2015-06-164-2/+3
* | Merge pull request #634 from dotty-staging/fix/refs-to-inner-objectsodersky2015-06-191-9/+19
|\ \
| * | Refactorings for small style improvements.Martin Odersky2015-06-081-9/+19
* | | Merge pull request #599 from dotty-staging/add/existential-skolemizationodersky2015-06-1923-242/+364
|\ \ \
| * | | Better printing of skolem typesMartin Odersky2015-06-061-2/+2
| * | | Document asSeenFromMartin Odersky2015-06-061-2/+46
| * | | Delete test which no longer appliesMartin Odersky2015-06-061-1/+0
| * | | Remove no longer needed Skolemization.scalaMartin Odersky2015-06-061-145/+0
| * | | Deskolemize types inferred for vals and defsMartin Odersky2015-06-065-4/+52
| * | | Skolemize unstable prefixes in asSeenFromMartin Odersky2015-06-066-10/+48
| * | | Move deskolemization from TypeComparer to TypeOpsMartin Odersky2015-06-062-16/+114
| * | | Track unstability in asSeenFromMartin Odersky2015-06-061-4/+21
| * | | Make SkolemTypes cached but generative.Martin Odersky2015-06-061-1/+2
| * | | Split RefinedThis and SkolemTypeMartin Odersky2015-06-0613-53/+88
| * | | Disable deskolemization in narrowGADTBoundsMartin Odersky2015-06-061-5/+4
| * | | More inclusive isStable test.Martin Odersky2015-06-061-1/+2
| * | | Follow aliases when deskolemizingMartin Odersky2015-06-061-7/+15
| * | | Tighten isStable predicateMartin Odersky2015-06-064-32/+4
| * | | Make skolemsstate three valuedMartin Odersky2015-06-062-9/+21
| * | | Tighten comparison of skolem typesMartin Odersky2015-06-061-5/+0
* | | | Merge pull request #664 from dotty-staging/more-testsodersky2015-06-181105-46/+41
|\ \ \ \ | |_|_|/ |/| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 11:49:03 +0000