aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Polish code.Martin Odersky2015-06-231-2/+2
* Avoid junk produced by Constraint#replace.Martin Odersky2015-06-225-6/+41
* Merge pull request #641 from dotty-staging/change/early-annotationsodersky2015-06-213-17/+35
|\
| * Fix oversight causing a type error on build.Martin Odersky2015-06-191-3/+1
| * Remove dead code and rename addTypedModifiersAnnotationsMartin Odersky2015-06-191-13/+9
| * Evaluate annotations in NamerMartin Odersky2015-06-192-2/+26
* | Merge pull request #674 from dotty-staging/fix/#655-eta-expansionodersky2015-06-213-17/+19
|\ \
| * | Improve naming of parameter type.Martin Odersky2015-06-191-2/+2
| * | Fixed typo in doc comment.Martin Odersky2015-06-191-1/+1
| * | Fix problem in eta expansion.Martin Odersky2015-06-191-1/+1
| * | Refactor viewExistsMartin Odersky2015-06-192-15/+17
* | | 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