aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeApplications.scala
Commit message (Expand)AuthorAgeFilesLines
* Simplify widenToParentsMartin Odersky2016-03-301-4/+5
* Add methods for expressing named type paramsMartin Odersky2016-03-301-0/+60
* 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
* More uses of adaptIfHKMartin Odersky2015-12-061-2/+1
* Use new adaptArgs for Scala2UnpicklerMartin Odersky2015-12-061-13/+9
* Fix adaptIfHK and drop rawTypeParamsMartin Odersky2015-12-061-23/+11
* Use typeapp extractors for printingMartin Odersky2015-12-061-1/+4
* Extractors and other new functionality for type applicationsMartin Odersky2015-12-061-0/+205
* Add missing type params in testMartin Odersky2015-12-061-4/+4
* Disallow existentially bound parameters as type parametersMartin Odersky2015-12-061-12/+1
* Don't count partial applications as applications.Martin Odersky2015-12-061-1/+1
* Update the comment of TypeApplications#argInfoGuillaume Martres2015-11-301-2/+2
* Fixed commentsMartin Odersky2015-11-301-11/+0
* Drop argumnt interpolation.Martin Odersky2015-11-301-17/+7
* Eta expand according to expected type parameter varianceMartin Odersky2015-11-171-9/+16
* Renamings in DefinitionsMartin Odersky2015-11-091-1/+1
* Don't drop $apply when eliminating existentials in unpicklerMartin Odersky2015-10-241-1/+1
* Revise typeParams to account for existential hk typesMartin Odersky2015-10-241-27/+37
* Change some occurrences of <:< to frozen_<:<Martin Odersky2015-10-011-2/+2
* Fixes to comments suggested by reviewerMartin Odersky2015-09-211-6/+6
* Eta expand $apply projected types if neededMartin Odersky2015-09-211-0/+29
* Keep track of parameter bounds in LambdaAbstract and EtaReduceMartin Odersky2015-09-181-11/+66
* Generalize eta reduction to partially applied types.Martin Odersky2015-09-181-2/+6
* Fix problem in typeParamsMartin Odersky2015-09-181-12/+7
* Rewrite compareHK to be kind-correctMartin Odersky2015-09-181-0/+6
* Replace isLambda with ifHKMartin Odersky2015-09-181-40/+15
* Rename of hk args HK$x -> hk$xMartin Odersky2015-09-181-69/+14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 01:39:18 +0000