aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Fix mapOuter to be type-preservingMartin Odersky2015-06-201-1/+5
* Map outer fields to parameters in primary constructorMartin Odersky2015-06-201-1/+7
* Map proxy references in constructors to parametersMartin Odersky2015-06-201-2/+15
* Map outer accessors to outer paramatersMartin Odersky2015-06-191-0/+12
* Create lazyval bitmaps only after super call.Martin Odersky2015-06-191-1/+6
* The expected type of a constructor body is UnitMartin Odersky2015-06-191-1/+3
* Merge pull request #669 from dotty-staging/fix-patmat-seqodersky2015-06-193-4/+6
|\
| * Fix wrong test in PatMat.Dmitry Petrashko2015-06-191-1/+1
| * Make named repeated parameters discoverable during PatMat.Dmitry Petrashko2015-06-192-3/+5
* | Merge pull request #671 from dotty-staging/fix/#659-lambdalift-proxiesodersky2015-06-193-7/+23
|\|
| * Add initializers for lambdalift proxy fieldsMartin Odersky2015-06-192-5/+19
| * Fix problem with explicit outer accessorsMartin Odersky2015-06-191-2/+4
* | Refine result type checkingMartin Odersky2015-06-191-8/+13
* | Always take results into account for resolveOverloadingMartin Odersky2015-06-192-47/+54
* | Take expected result type into account more often for overloading resolutionMartin Odersky2015-06-193-2/+42
|/
* Merge pull request #639 from dotty-staging/add/trait-parametersodersky2015-06-195-37/+94
|\
| * 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
| * Drop parameter accessor flag in traitsMartin Odersky2015-06-191-4/+6
| * Revert: Implementations of mixin getters are never ParamAccessorsMartin Odersky2015-06-191-1/+1
| * Implement trait parametersMartin Odersky2015-06-192-16/+60
| * Implement checking for illegal parent trait constructor calls.Martin Odersky2015-06-192-5/+12
| * 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
* | 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