aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Make all arg bindings have flag BaseTypeArg.Martin Odersky2015-12-141-6/+15
* Rename TypeArgument -> BaseTypeArg flag.Martin Odersky2015-12-141-5/+7
* Remove redundant type parameter in testLiftedMartin Odersky2015-12-141-1/+1
* Shortcut in derivesFrom for high bound Any.Martin Odersky2015-12-131-14/+17
* Better explanation for adaptHkVariancesMartin Odersky2015-12-131-13/+19
* Avoid cycle when computing setsMartin Odersky2015-12-131-1/+21
* In isSubType, follow aliases only if prefix is a path.Martin Odersky2015-12-131-2/+20
* Perform variance adaptation only when needed in isSubTypeMartin Odersky2015-12-135-29/+48
* Allow bottom types as hk type argumentsMartin Odersky2015-12-112-4/+8
* Add isBottomType/Class tests to DefinitionsMartin Odersky2015-12-112-4/+7
* Remove extraneous matchMartin Odersky2015-12-111-10/+6
* Disallow hk type parameters in lower bounds.Martin Odersky2015-12-115-8/+16
* Fix TypeLambda extractor.Martin Odersky2015-12-101-3/+11
* Cleanup of RefinedType subtype comparison.Martin Odersky2015-12-061-9/+7
* Code and documentation cleanupsMartin Odersky2015-12-061-300/+107
* Fix tasty test failuresMartin Odersky2015-12-061-4/+4
* Avoid false positives when extracting AppliedTypeMartin Odersky2015-12-062-2/+18
* Be DRY betweeen EtaExpand and LambdaAbstractMartin Odersky2015-12-061-15/+7
* Allow for F-bounded bounds in TypeLambdaMartin Odersky2015-12-061-8/+16
* Fix printing of type lambdasMartin Odersky2015-12-061-9/+26
* Reset constraint when one of several implicit arguments is not found.Martin Odersky2015-12-061-1/+7
* Switch to new hk scheme.Martin Odersky2015-12-068-248/+307
* Better diagnostics for applyOverloaded.Martin Odersky2015-12-061-9/+16
* Fully type annotate PrintersMartin Odersky2015-12-061-9/+9
* 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-062-2/+2
* Fix bug computing typeParams for hk typesMartin Odersky2015-12-061-1/+3
* Don't recognize type bounds as lambda abstractionsMartin Odersky2015-12-062-7/+6
* Fix problem with printing lambdas.Martin Odersky2015-12-061-3/+4
* Base Application extractor on classSymbolsMartin Odersky2015-12-061-2/+2
* More uses of adaptIfHKMartin Odersky2015-12-063-20/+21
* Use new adaptArgs for Scala2UnpicklerMartin Odersky2015-12-062-58/+10
* Drop redundant check in beta reduceMartin Odersky2015-12-061-6/+4
* Fix adaptIfHK and drop rawTypeParamsMartin Odersky2015-12-061-23/+11
* Use typeapp extractors for printingMartin Odersky2015-12-063-80/+38
* Extractors and other new functionality for type applicationsMartin Odersky2015-12-061-0/+205
* Add missing type params in testMartin Odersky2015-12-065-14/+14
* Change hk naming schemeMartin Odersky2015-12-063-21/+24
* 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
* Drop requirement that an isRef type cannot be refined.Martin Odersky2015-12-061-3/+2
* Merge pull request #979 from dotty-staging/fix/hk-deep-subtype-2odersky2015-12-061-7/+13
|\
| * TypeComparer: delay looking up members of AndTypesGuillaume Martres2015-11-301-7/+13
* | Desugar#makeAnnotated: Avoid unnecessary typingGuillaume Martres2015-12-011-1/+1
* | Compile scala.collection.Seq without double-binding errorGuillaume Martres2015-12-012-6/+11
|/
* Update the comment of TypeApplications#argInfoGuillaume Martres2015-11-301-2/+2
* Fixed commentsMartin Odersky2015-11-301-11/+0
* Drop argumnt interpolation.Martin Odersky2015-11-305-23/+13
* Avoid too eager computation in reporting.Martin Odersky2015-11-301-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-31 02:28:11 +0000