aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Quick&dirty bootstrapDmitry Petrashko2015-10-222-3/+41
* Merge pull request #811 from dotty-staging/fix-objects-mixinDmitry Petrashko2015-10-214-7/+7
|\
| * Address reviewer comments #811.Dmitry Petrashko2015-10-123-7/+5
| * Mixin: materialise rhs for inherited scala2 modulesDmitry Petrashko2015-09-291-1/+3
| * ExplicitOuter: Scala2 inner modules always require outer pointer.Dmitry Petrashko2015-09-291-3/+2
| * UnpickleScala2: Scala modules do not set Lazy Flag.Dmitry Petrashko2015-09-291-1/+4
| * Typer: remove unused TyperContextOpsDmitry Petrashko2015-09-291-2/+0
* | Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-205-6/+25
|\ \
| * | Check that some types are not higher-kinded.Martin Odersky2015-10-075-6/+25
* | | Merge pull request #823 from smarter/fix/lifting-and-inferenceGuillaume Martres2015-10-197-44/+59
|\ \ \
| * | | Always fully define the types of lifted expressionsGuillaume Martres2015-10-193-1/+13
| * | | Move Inferencing out of the Typer cakeGuillaume Martres2015-10-094-43/+46
* | | | Merge pull request #817 from smarter/fix/avoidGuillaume Martres2015-10-122-21/+83
|\ \ \ \ | |/ / / |/| | |
| * | | TypeAssigner#avoid: do not lose type parameters when the base type changes.Guillaume Martres2015-10-092-6/+33
| * | | Add pos test about escaping refinementsGuillaume Martres2015-10-091-0/+10
| * | | TypeAssigner#avoid: don't miss escaping refs in complex typesGuillaume Martres2015-10-092-15/+20
| * | | TypeAssigner#avoid: more precise types for inner classesGuillaume Martres2015-10-092-2/+22
* | | | Merge pull request #799 from dotty-staging/change-inferenceodersky2015-10-075-16/+122
|\ \ \ \ | |_|/ / |/| | |
| * | | Generalize set of typevars instantiated before implicit searchMartin Odersky2015-09-182-22/+42
| * | | Added neg testMartin Odersky2015-09-181-0/+7
| * | | Add test caseMartin Odersky2015-09-181-0/+10
| * | | Fixes #739Martin Odersky2015-09-182-6/+40
| * | | Change algorithm that computes instantiation directionMartin Odersky2015-09-182-9/+45
| * | | Add test caseMartin Odersky2015-09-181-2/+1
* | | | Merge pull request #820 from dotty-staging/add-collection-strawmanodersky2015-10-063-0/+643
|\ \ \ \
| * | | | Rename collectAs -> toMartin Odersky2015-10-062-16/+16
| * | | | Tweaks to conform with API set out in #818.Martin Odersky2015-10-062-21/+18
| * | | | Bugfixes and move CollectionStrawMan1 into the correct directory.Martin Odersky2015-10-062-71/+96
| * | | | Add ArrayBuffer as another Seq class. Make iterators inspectable.Martin Odersky2015-10-063-101/+173
| * | | | Add collection strawman and its testsMartin Odersky2015-10-063-0/+549
* | | | | Merge pull request #805 from dotty-staging/change-freeze-boundsodersky2015-10-0615-54/+360
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Revert "Make prefix covariant in type maps."Martin Odersky2015-10-061-1/+7
| |/ / /
| * | | Make prefix covariant in type maps.Martin Odersky2015-10-061-7/+1
| * | | Add explanations for rewritingsMartin Odersky2015-10-061-0/+6
| * | | Move failing test to pendingMartin Odersky2015-10-011-0/+0
| * | | Add test caseMartin Odersky2015-10-011-0/+245
| * | | Reshuffle nested and/or calls.Martin Odersky2015-10-011-0/+24
| * | | Freeze constraints when checking parameter matching and subsumption.Martin Odersky2015-10-012-3/+11
| * | | Fix typo in previous commit.Martin Odersky2015-10-011-1/+1
| * | | Opportunistically merge A & A -> A and B | B -> B in <:<Martin Odersky2015-10-011-0/+6
| * | | Implement toString for OrderingConstraintMartin Odersky2015-10-011-1/+18
| * | | Slight code refactoringMartin Odersky2015-10-011-11/+12
| * | | Restore state when detecting a baseTypeRef cycle.Martin Odersky2015-10-011-0/+1
| * | | underlyingChain -> underlyingIteratorMartin Odersky2015-10-011-4/+10
| * | | Don't log when in Printing mode.Martin Odersky2015-10-011-1/+2
| * | | Fix compilation error.Martin Odersky2015-10-011-1/+1
| * | | Replace withMode by addModeMartin Odersky2015-10-015-9/+9
| * | | Change some occurrences of <:< to frozen_<:<Martin Odersky2015-10-013-10/+15
| * | | Generalize rules for isSubType between NamedTypes.Martin Odersky2015-10-011-16/+2
* | | | Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTimeodersky2015-10-022-1/+10
|\ \ \ \ | |/ / / |/| | |