aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
| * | | Refine disambiguation logic and add test case.Martin Odersky2016-07-151-3/+14
| * | | Fix #1386: Reduce double def errorsMartin Odersky2016-07-151-6/+24
* | | | Merge pull request #1399 from dotty-staging/fix-patmat-typingodersky2016-07-181-8/+12
|\ \ \ \
| * | | | Add test caseMartin Odersky2016-07-181-1/+1
| * | | | Fix typing of match expressionsMartin Odersky2016-07-171-8/+12
| | |_|/ | |/| |
* | | | Merge pull request #1389 from dotty-staging/fix-#1381odersky2016-07-182-70/+71
|\ \ \ \ | |_|_|/ |/| | |
| * | | Changes to overloadingMartin Odersky2016-07-152-70/+71
* | | | Merge pull request #1345 from dotty-staging/improve-XprintDmitry Petrashko2016-07-173-9/+104
|\ \ \ \ | |_|/ / |/| | |
| * | | Fix #1312: Improve XprintNicolas Stucki2016-07-153-9/+104
| |/ /
* | | Merge pull request #1377 from dotty-staging/#1365odersky2016-07-152-22/+67
|\ \ \
| * | | Drop superfluous codeMartin Odersky2016-07-151-5/+1
| * | | Fix 1365: Fix bindings in patternsMartin Odersky2016-07-092-22/+71
* | | | Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-1510-20/+164
|\ \ \ \
| * | | | Fix TypeOps.featureEnabled ignoring import disabling.Nicolas Stucki2016-07-071-9/+10
| * | | | Add scala.Dynamic language feature check.Nicolas Stucki2016-07-075-4/+45
| * | | | Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-076-7/+109
* | | | | Merge pull request #1334 from dotty-jvican/implement-no-predef-no-importDmitry Petrashko2016-07-152-6/+15
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Implement -Yno-predef and -Yno-importsjvican2016-06-292-6/+15
* | | | | Merge pull request #1343 from dotty-staging/change-hk-direct2odersky2016-07-1550-1337/+1914
|\ \ \ \ \
| * | | | | Bounds of type lambdas compare contravariantlyMartin Odersky2016-07-151-12/+18
| * | | | | Fix bounds checking of hk applied typedMartin Odersky2016-07-144-46/+30
| * | | | | Allow hk parameters in lower boundsMartin Odersky2016-07-134-17/+8
| * | | | | 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
| * | | | | Drop restriction to 2nd order hk typesMartin Odersky2016-07-121-4/+2
| * | | | | Avoid dealiasing on type applicationMartin Odersky2016-07-126-53/+89
| * | | | | Allow definition of new types in refinementsMartin Odersky2016-07-121-1/+1
| * | | | | 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-121-0/+3
| * | | | | Address reviewers commentsMartin Odersky2016-07-1111-49/+55
| * | | | | Fix SI-2712Martin Odersky2016-07-116-18/+84
| * | | | | 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
| * | | | | Less eager removal of type parameters from constraintMartin Odersky2016-07-113-24/+26
| * | | | | Disallow higher-kinded types that simulate general existential typesMartin Odersky2016-07-113-5/+63
| * | | | | Fix bug in printing untyped New nodes.Martin Odersky2016-07-111-1/+5
| * | | | | Avoid orphan parameters in Constraint#replaceMartin Odersky2016-07-111-1/+1
| * | | | | Drop Config.checkKindsMartin Odersky2016-07-1113-107/+20
| * | | | | Refactorings of GenericTypes and underlying/upperboundMartin Odersky2016-07-119-146/+100
| * | | | | Revert complications in asMemberOfMartin Odersky2016-07-112-25/+4
| * | | | | Cleanup of Signature matchingMartin Odersky2016-07-114-14/+19
| * | | | | Simplify appliedToMartin Odersky2016-07-111-23/+9
| * | | | | Get rid of BindingKindMartin Odersky2016-07-115-65/+17
| * | | | | Handle signatures over uninstantiated type variablesMartin Odersky2016-07-115-12/+40
| * | | | | Remove refinement encoding of hk typesMartin Odersky2016-07-1117-653/+112