aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Evaluate annotations in NamerMartin Odersky2015-06-192-2/+26
* 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
|\ \ \ \ | |_|_|/ |/| | |
| * | | Scala2 mixin: For some lazy vals inside traits, Lazy flag isn't set on implem...Dmitry Petrashko2015-06-161-2/+4
| * | | Support overloaded lazy vals coming from Scala2 traits.Dmitry Petrashko2015-06-161-2/+5
| * | | Move tests that have " macro" or "reify" to disabled.Dmitry Petrashko2015-06-151020-0/+0
| * | | Update origins.check with origins that match dotty.Dmitry Petrashko2015-06-151-3/+3
| * | | Remove warnings that dotty doesn't emit from check files.Dmitry Petrashko2015-06-156-22/+0
| * | | Enable tests that succeed.Dmitry Petrashko2015-06-1578-0/+0
| * | | Mixin: implementations of Scala2 LazyVals need a rhs.Dmitry Petrashko2015-06-151-1/+7
| * | | Annotate lazy vals in Scala2 traits with @volatileMartin Odersky2015-06-081-3/+9
* | | | Merge pull request #661 from dotty-staging/fix/#651-opassignDmitry Petrashko2015-06-163-1/+1
|\ \ \ \
| * | | | Revert changes in testMartin Odersky2015-06-151-2/+1
| * | | | Fix #651 Generalize criterion for isOpAssignMartin Odersky2015-06-153-2/+3
|/ / / /
* | | | Merge pull request #635 from dotty-staging/fix/private-scala2-trait-settersDmitry Petrashko2015-06-129-23/+57
|\| | |
| * | | New SymDenotation method: expandedName.Martin Odersky2015-06-081-5/+8
| * | | Copy @field annotations from getters to fields.Martin Odersky2015-06-082-1/+13
| * | | Methods for filtering annotations carrying meta information.Martin Odersky2015-06-084-5/+18
| * | | Copy annotations from trait members to their implementationsMartin Odersky2015-06-082-3/+12
| * | | Fix to trait setter generationMartin Odersky2015-06-082-10/+7
| |/ /
* | | Merge pull request #633 from dotty-staging/fix/refs-to-inner-objectsDmitry Petrashko2015-06-0710-36/+33
|\ \ \ | |/ / |/| / | |/
| * Rename helper method.Martin Odersky2015-06-071-3/+3
| * Fix mergeDenot one more time.Martin Odersky2015-06-073-17/+10