aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1400 from dotty-staging/fix/hk-reduce-typerefsodersky2016-07-194-15/+31
|\
| * HK reduction: Remove special-case for typerefsGuillaume Martres2016-07-183-15/+20
| * Better test for #1181Guillaume Martres2016-07-181-0/+11
* | Merge pull request #1393 from dotty-staging/fix-#1386odersky2016-07-182-6/+40
|\ \
| * | Refactor code into nested methodMartin Odersky2016-07-151-5/+6
| * | Refine disambiguation logic and add test case.Martin Odersky2016-07-152-3/+18
| * | Fix #1386: Reduce double def errorsMartin Odersky2016-07-151-6/+24
* | | Merge pull request #1399 from dotty-staging/fix-patmat-typingodersky2016-07-183-8/+37
|\ \ \
| * | | Fix test error annotationMartin Odersky2016-07-181-1/+1
| * | | Add test caseMartin Odersky2016-07-182-1/+25
| * | | Fix typing of match expressionsMartin Odersky2016-07-172-8/+13
* | | | Merge pull request #1389 from dotty-staging/fix-#1381odersky2016-07-187-76/+151
|\ \ \ \ | |_|_|/ |/| | |
| * | | Make run tests for #1381.Nicolas Stucki2016-07-183-36/+66
| * | | Add testsMartin Odersky2016-07-153-0/+39
| * | | Additions to testMartin Odersky2016-07-151-0/+9
| * | | Changes to overloadingMartin Odersky2016-07-153-76/+73
* | | | Merge pull request #1345 from dotty-staging/improve-XprintDmitry Petrashko2016-07-174-9/+105
|\ \ \ \ | |_|/ / |/| | |
| * | | Fix #1312: Improve XprintNicolas Stucki2016-07-154-9/+105
| |/ /
* | | Merge pull request #1377 from dotty-staging/#1365odersky2016-07-153-22/+80
|\ \ \
| * | | Drop superfluous codeMartin Odersky2016-07-151-5/+1
| * | | Fix 1365: Fix bindings in patternsMartin Odersky2016-07-093-22/+84
* | | | Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-1544-20/+626
|\ \ \ \
| * | | | Fix TypeOps.featureEnabled ignoring import disabling.Nicolas Stucki2016-07-072-9/+20
| * | | | Add scala.Dynamic language feature check.Nicolas Stucki2016-07-077-4/+55
| * | | | Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-0738-7/+551
* | | | | Merge pull request #1334 from dotty-jvican/implement-no-predef-no-importDmitry Petrashko2016-07-156-6/+28
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Implement -Yno-predef and -Yno-importsjvican2016-06-296-6/+28
* | | | | Merge pull request #1343 from dotty-staging/change-hk-direct2odersky2016-07-15103-1417/+2375
|\ \ \ \ \
| * | | | | Bounds of type lambdas compare contravariantlyMartin Odersky2016-07-153-13/+27
| * | | | | Add test case for hk bounds checkingMartin Odersky2016-07-141-0/+23
| * | | | | Fix bounds checking of hk applied typedMartin Odersky2016-07-147-53/+67
| * | | | | Allow hk parameters in lower boundsMartin Odersky2016-07-137-28/+23
| * | | | | Simplify variance computationsMartin Odersky2016-07-131-6/+2
| * | | | | Make rewritings of hk applications configurableMartin Odersky2016-07-134-18/+42
| * | | | | Optimize hk comparisonsMartin Odersky2016-07-132-11/+24
| * | | | | Enable test for fixed #1181: Typer should preserve aliases in TypeTreesGuillaume Martres2016-07-121-0/+0
| * | | | | Drop restriction to 2nd order hk typesMartin Odersky2016-07-126-12/+60
| * | | | | Avoid dealiasing on type applicationMartin Odersky2016-07-1210-66/+103
| * | | | | Allow definition of new types in refinementsMartin Odersky2016-07-127-11/+65
| * | | | | ExtractAPI: Add support for RecTypeGuillaume Martres2016-07-121-2/+14
| * | | | | ExtractAPI: Add support for TypeLambdasGuillaume Martres2016-07-121-4/+11
| * | | | | ExtractAPI: Do not miss value parameters of PolyTypesGuillaume Martres2016-07-128-0/+55
| * | | | | Address reviewers commentsMartin Odersky2016-07-1111-49/+55
| * | | | | Fix SI-2712Martin Odersky2016-07-1113-22/+163
| * | | | | More testsMartin Odersky2016-07-112-0/+24
| * | | | | Drop compareAliasedRefinedMartin Odersky2016-07-112-37/+4
| * | | | | Refactor Typevar instantiationMartin Odersky2016-07-112-43/+52
| * | | | | Add a case where caching was missing.Martin Odersky2016-07-112-3/+5
| * | | | | Do the right thing for NoDenotation.mapInfoMartin Odersky2016-07-111-0/+1
| * | | | | Unify aliases when taking a lub.Martin Odersky2016-07-111-2/+18