aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeApplications.scala
Commit message (Expand)AuthorAgeFilesLines
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-111-1/+1
* Fix appliedTo and typeParams, and higher kinded subtyping testsMartin Odersky2016-07-111-13/+42
* Start new, direct HK schemeMartin Odersky2016-07-111-86/+137
* Remove old hk schemeMartin Odersky2016-07-111-270/+37
* Various tweaksMartin Odersky2016-07-111-6/+15
* Fix condition for lambda abstracting in NamerMartin Odersky2016-07-111-7/+3
* Avoid infinite recursion when comparing recursive types.Martin Odersky2016-07-111-2/+2
* Optionally, check kinds match for & and |Martin Odersky2016-07-111-1/+29
* Restrict betaReduce to hk applicationsMartin Odersky2016-07-111-1/+9
* Eta-expand unapplied types that have type parametersMartin Odersky2016-07-111-4/+7
* Fix typeParams for abstract types under completionMartin Odersky2016-07-111-10/+11
* Add a second betaReduceMartin Odersky2016-07-111-6/+7
* Fixes to BetaReduce and asMemberOf; add a second betaReduceMartin Odersky2016-07-111-50/+65
* Make etaExpandIfHk work for non-symbol type paramsMartin Odersky2016-07-111-3/+9
* Multiple fixesMartin Odersky2016-07-111-17/+67
* Turn on new hk schemeMartin Odersky2016-07-111-107/+234
* Abstract type parameters out from type symbolsMartin Odersky2016-07-111-13/+19
* Introduce recursive typesMartin Odersky2016-07-111-8/+32
* New type lambda scheme for hk typesMartin Odersky2016-07-111-2/+37
* Allow general recursion in refined types.Martin Odersky2016-07-111-11/+11
* Allow refinements of new typesMartin Odersky2016-07-111-1/+1
* Dealias applied type constructorsMartin Odersky2016-04-151-2/+10
* Merge pull request #1186 from dotty-staging/fix-#1185odersky2016-04-061-0/+61
|\
| * Simplify widenToParentsMartin Odersky2016-03-301-4/+5
| * Add methods for expressing named type paramsMartin Odersky2016-03-301-0/+60
* | Move Mode to coreMartin Odersky2016-04-011-1/+0
|/
* Fix review comment in previous PRMartin Odersky2016-02-191-2/+1
* Support named type parametersMartin Odersky2016-02-191-1/+1
* Remove unnecessary logic in toBoundsMartin Odersky2016-02-191-0/+3
* Compute type params in namer without completing the whole infoMartin Odersky2016-01-161-9/+16
* Merge pull request #1006 from dotty-staging/more-testsGuillaume Martres2015-12-261-7/+3
|\
| * Don't do eta expansion on bottom typesMartin Odersky2015-12-201-7/+3
* | Add precondition to doc comment.Martin Odersky2015-12-211-0/+1
* | PolishingMartin Odersky2015-12-211-1/+1
|/
* Fix higher-kinded unions and intersectionsMartin Odersky2015-12-181-0/+45
* Better explanation for adaptHkVariancesMartin Odersky2015-12-131-13/+19
* Perform variance adaptation only when needed in isSubTypeMartin Odersky2015-12-131-24/+35
* Allow bottom types as hk type argumentsMartin Odersky2015-12-111-3/+7
* Fix TypeLambda extractor.Martin Odersky2015-12-101-3/+11
* Code and documentation cleanupsMartin Odersky2015-12-061-300/+107
* Avoid false positives when extracting AppliedTypeMartin Odersky2015-12-061-1/+7
* Be DRY betweeen EtaExpand and LambdaAbstractMartin Odersky2015-12-061-15/+7
* Allow for F-bounded bounds in TypeLambdaMartin Odersky2015-12-061-8/+16
* Switch to new hk scheme.Martin Odersky2015-12-061-155/+148
* Fixes to TypeLambda and EtaExpansion extractors.Martin Odersky2015-12-061-5/+13
* Fix to TypeLambda over with a TypeBounds bodyMartin Odersky2015-12-061-1/+1
* Fix bug computing typeParams for hk typesMartin Odersky2015-12-061-1/+1
* Fix bug computing typeParams for hk typesMartin Odersky2015-12-061-1/+3
* Don't recognize type bounds as lambda abstractionsMartin Odersky2015-12-061-2/+0
* Base Application extractor on classSymbolsMartin Odersky2015-12-061-2/+2
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 07:40:13 +0000