aboutsummaryrefslogtreecommitdiff
path: root/src/dotty
Commit message (Expand)AuthorAgeFilesLines
* Fix problem handling SuperTypes in asSeenFromMartin Odersky2015-12-141-11/+12
* Convert super. prefixes of types to this.Martin Odersky2015-12-141-1/+6
* Better diagnostics for clashing classesMartin Odersky2015-12-144-7/+18
* Drop redundant conditionMartin Odersky2015-12-141-1/+1
* Make some types of definitions symbolicMartin Odersky2015-12-141-3/+20
* Fix sleeper bug in ParamForwardingMartin Odersky2015-12-144-7/+23
* Adaptations to checkSymAssignMartin Odersky2015-12-141-3/+8
* Do not report data races between symbols defined in class and its selftypeMartin Odersky2015-12-142-5/+11
* Fix tricky bug coming up when compiling TraversableViewLike.Martin Odersky2015-12-141-4/+34
* Avoid unassigned type errors when typing curried functions.Martin Odersky2015-12-141-21/+21
* Remove stray assignmentMartin Odersky2015-12-141-1/+0
* Fix of too strict variance checking.Martin Odersky2015-12-141-1/+1
* Disregard BaseTypeArg parameters when variance checking.Martin Odersky2015-12-141-1/+1
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 22:30:49 +0000