aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | | 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
| * | | | | Less eager removal of type parameters from constraintMartin Odersky2016-07-113-24/+26
| * | | | | Disallow higher-kinded types that simulate general existential typesMartin Odersky2016-07-117-7/+125
| * | | | | 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
| * | | | | Fixes for printing under -Ytest-picklerMartin Odersky2016-07-112-2/+3
| * | | | | Fix parameter unpicklingMartin Odersky2016-07-111-10/+10
| * | | | | Drop assertion in TypeMapMartin Odersky2016-07-112-6/+6
| * | | | | Special case for TypeRefs in upperboundMartin Odersky2016-07-111-1/+6
| * | | | | Fixes to hk comparisonsMartin Odersky2016-07-111-14/+8
| * | | | | Don't dealias when applying typesMartin Odersky2016-07-111-4/+6
| * | | | | Don't make * types higher-kinded in avoidMartin Odersky2016-07-113-12/+14
| * | | | | Handle WildcardType in liftToClassesMartin Odersky2016-07-112-1/+2