aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add test caseMartin Odersky2015-12-141-0/+26
* Make some types of definitions symbolicMartin Odersky2015-12-143-15/+32
* 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-144-6/+25
* Fix tricky bug coming up when compiling TraversableViewLike.Martin Odersky2015-12-142-4/+52
* Avoid unassigned type errors when typing curried functions.Martin Odersky2015-12-141-21/+21
* Remove stray assignmentMartin Odersky2015-12-141-1/+0
* Add whitelist entries which now workMartin Odersky2015-12-141-4/+7
* Fix of too strict variance checking.Martin Odersky2015-12-141-1/+1
* Disregard BaseTypeArg parameters when variance checking.Martin Odersky2015-12-142-32/+8
* 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
* Allow deep subtype for sets and related code in dotty/transform.Martin Odersky2015-12-132-2/+3
* 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-136-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-117-8/+28
* 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
* Move failing test to pendingMartin Odersky2015-12-061-0/+0
* 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-069-251/+310
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 22:31:53 +0000