aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeApplications.scala
Commit message (Expand)AuthorAgeFilesLines
* Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* Take curried type lambdas into accountMartin Odersky2016-07-221-4/+3
* HK reduction: Remove special-case for typerefsGuillaume Martres2016-07-181-12/+7
* Fix bounds checking of hk applied typedMartin Odersky2016-07-141-3/+4
* Allow hk parameters in lower boundsMartin Odersky2016-07-131-3/+5
* Make rewritings of hk applications configurableMartin Odersky2016-07-131-15/+13
* Avoid dealiasing on type applicationMartin Odersky2016-07-121-33/+48
* Address reviewers commentsMartin Odersky2016-07-111-14/+11
* Fix SI-2712Martin Odersky2016-07-111-3/+3
* Disallow higher-kinded types that simulate general existential typesMartin Odersky2016-07-111-5/+36
* Drop Config.checkKindsMartin Odersky2016-07-111-70/+5
* Refactorings of GenericTypes and underlying/upperboundMartin Odersky2016-07-111-5/+4
* Simplify appliedToMartin Odersky2016-07-111-23/+9
* Remove refinement encoding of hk typesMartin Odersky2016-07-111-307/+37
* Don't dealias when applying typesMartin Odersky2016-07-111-4/+6
* Beta-reduce with wildcard arguments if this is safe.Martin Odersky2016-07-111-3/+45
* Refactor handling of unpickled type paramsMartin Odersky2016-07-111-4/+5
* Tweaks to appliedToMartin Odersky2016-07-111-4/+11
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 19:24:47 +0000