aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Evaluate annotations in NamerMartin Odersky2015-06-192-2/+26
* Fix stack overflow when testing for shadowingMartin Odersky2015-06-192-2/+8
* Merge pull request #663 from dotty-staging/fix/#643-scala2-noinitsDmitry Petrashko2015-06-199-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-162-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-1919-232/+316
|\ \ \
| * | | Better printing of skolem typesMartin Odersky2015-06-061-2/+2
| * | | Document asSeenFromMartin Odersky2015-06-061-2/+46
| * | | Remove no longer needed Skolemization.scalaMartin Odersky2015-06-061-145/+0
| * | | Deskolemize types inferred for vals and defsMartin Odersky2015-06-064-4/+32
| * | | Skolemize unstable prefixes in asSeenFromMartin Odersky2015-06-064-8/+20
| * | | 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-063-25/+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-182-4/+21
|\ \ \ \ | |_|_|/ |/| | |
| * | | 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
| * | | 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
* | | | Fix #651 Generalize criterion for isOpAssignMartin Odersky2015-06-151-1/+1
* | | | Merge pull request #635 from dotty-staging/fix/private-scala2-trait-settersDmitry Petrashko2015-06-127-19/+47
|\| | | | |_|/ |/| |
| * | 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-081-2/+5
| * | Fix to trait setter generationMartin Odersky2015-06-081-7/+4
| |/
* | Rename helper method.Martin Odersky2015-06-071-3/+3
* | Fix mergeDenot one more time.Martin Odersky2015-06-071-17/+10
* | Better error message for RefChecksMartin Odersky2015-06-071-7/+8
* | Fix refs to inner objectsMartin Odersky2015-06-072-11/+12
|/
* Merge pull request #622 from dotty-staging/add/implement-scala2-traitsodersky2015-06-0624-116/+310
|\
| * Make LazyVals respect scope hygiene.Martin Odersky2015-06-021-3/+3
| * Refine "&" for denotations.Martin Odersky2015-06-021-9/+45
| * More precise and uniform modelling of "isCurrent"Martin Odersky2015-06-012-8/+5
| * Avoid generating trait setters for constants.Martin Odersky2015-06-011-1/+2
| * Uncomment important test for Scala trait forwardingMartin Odersky2015-06-011-1/+1
| * Fix missing implementation class forwardMartin Odersky2015-06-011-9/+1
| * Elim ElimWildcardIdentsMartin Odersky2015-06-016-46/+12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 22:33:58 +0000