aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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 #622 from dotty-staging/add/implement-scala2-traitsodersky2015-06-0627-118/+376
|\
| * Fixed test.Martin Odersky2015-06-021-2/+8
| * 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
| * Add test case.Martin Odersky2015-06-012-0/+58
| * 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
* | Merge pull request #628 from dotty-staging/fix/initializer-deadlocksDmitry Petrashko2015-06-0314-74/+77
|\ \ | |/ |/|
| * Test case for problems with lambda lifting.Martin Odersky2015-06-031-0/+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
| * Move test from lambdaLift.scala to a separate file in pending.Dmitry Petrashko2015-06-022-21/+20
| * Revert "Fix ElimStaticThis#transformIdent"Dmitry Petrashko2015-06-022-9/+4
| * Revert "Update t6260-delambdafy.check to account for change in lambda generat...Dmitry Petrashko2015-06-021-0/+1
| * Avoid static initialization deadlock in run tests (2).Martin Odersky2015-06-011-2/+9
| * Revert "Avoid static initialization deadlock in run tests."Martin Odersky2015-06-015-34/+23
|/
* Merge pull request #626 from smarter/fix/ast-tostringodersky2015-05-311-2/+2
|\
| * Add missing string interpolator prefix in some AST nodes' toStringGuillaume Martres2015-05-311-2/+2
|/