aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* 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 #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
| * Make elimWildcardIdents apply to AssignmentsMartin Odersky2015-06-012-1/+4
| * Improve commentsMartin Odersky2015-06-012-2/+14
| * New phase: LinkScala2ImplClassesMartin Odersky2015-06-012-1/+59
| * Make memberSignature work after erasure.Martin Odersky2015-06-011-3/+9
| * New phase: AugmentScala2TraitsMartin Odersky2015-06-014-4/+103
| * Avoid referring to initial$x methods when implementing Scala2 traitsMartin Odersky2015-06-011-6/+11
| * New utility method tpd.UnderscoreMartin Odersky2015-06-015-5/+7
| * Make ensureMethodic work after erasure.Martin Odersky2015-06-012-2/+2
| * Use $init$ as the name of trait constructorsMartin Odersky2015-06-011-1/+1
| * Move needsForwarder logic from ResolveSuper to MixinOps.Martin Odersky2015-06-012-8/+13
| * New NameOps methods for Scala2 traitsMartin Odersky2015-06-013-4/+12
| * Make Mutable a ModifierFlag.Martin Odersky2015-06-012-2/+8
| * Merge postConditions of memoize and constructorsMartin Odersky2015-06-012-11/+9
* | Compute outer.path in lambdaLift at correct phase.Martin Odersky2015-06-033-4/+8
* | Narrow liftedOwner also for static objectsMartin Odersky2015-06-031-4/+3
* | Revert "Fix ElimStaticThis#transformIdent"Dmitry Petrashko2015-06-022-9/+4
* | Avoid static initialization deadlock in run tests (2).Martin Odersky2015-06-011-2/+9
|/
* Add missing string interpolator prefix in some AST nodes' toStringGuillaume Martres2015-05-311-2/+2
* Merge pull request #625 from smarter/add/ast-toStringodersky2015-05-311-2/+7
|\
| * Trees: Add toString for AST nodes which are not case classesGuillaume Martres2015-05-301-2/+7
* | Fix ElimStaticThis#transformIdentGuillaume Martres2015-05-302-4/+9
* | New phase: ElimStaticThisDmitry Petrashko2015-05-292-0/+39
* | Eliminate `_' from rhs of ValDefsMartin Odersky2015-05-294-35/+22
* | Revert "Fix #580: use isContainedIn to support cases where the enclosing clas...Martin Odersky2015-05-291-1/+1
* | Fix compilation failure by refining adaptation of constantsMartin Odersky2015-05-291-1/+13
|/
* Merge pull request #611 from dotty-staging/supercalls-traits-testDmitry Petrashko2015-05-284-8/+14
|\
| * Refine definition of isCurrentMartin Odersky2015-05-281-2/+3
| * Extended test case.Martin Odersky2015-05-271-2/+2
| * Mixin: generate a getter in implementing class only if currentMartin Odersky2015-05-272-4/+9
| * Fix bug in typer erasure's transformInfoMartin Odersky2015-05-271-1/+1