aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc
Commit message (Expand)AuthorAgeFilesLines
* Drop restriction to 2nd order hk typesMartin Odersky2016-07-121-4/+2
* Avoid dealiasing on type applicationMartin Odersky2016-07-126-53/+89
* Allow definition of new types in refinementsMartin Odersky2016-07-121-1/+1
* ExtractAPI: Add support for RecTypeGuillaume Martres2016-07-121-2/+14
* ExtractAPI: Add support for TypeLambdasGuillaume Martres2016-07-121-4/+11
* ExtractAPI: Do not miss value parameters of PolyTypesGuillaume Martres2016-07-121-0/+3
* Address reviewers commentsMartin Odersky2016-07-1111-49/+55
* Fix SI-2712Martin Odersky2016-07-116-18/+84
* Drop compareAliasedRefinedMartin Odersky2016-07-112-37/+4
* Refactor Typevar instantiationMartin Odersky2016-07-112-43/+52
* Add a case where caching was missing.Martin Odersky2016-07-112-3/+5
* Do the right thing for NoDenotation.mapInfoMartin Odersky2016-07-111-0/+1
* Unify aliases when taking a lub.Martin Odersky2016-07-111-2/+18
* Less eager removal of type parameters from constraintMartin Odersky2016-07-113-24/+26
* Disallow higher-kinded types that simulate general existential typesMartin Odersky2016-07-113-5/+63
* Fix bug in printing untyped New nodes.Martin Odersky2016-07-111-1/+5
* Avoid orphan parameters in Constraint#replaceMartin Odersky2016-07-111-1/+1
* Drop Config.checkKindsMartin Odersky2016-07-1113-107/+20
* Refactorings of GenericTypes and underlying/upperboundMartin Odersky2016-07-119-146/+100
* Revert complications in asMemberOfMartin Odersky2016-07-112-25/+4
* Cleanup of Signature matchingMartin Odersky2016-07-114-14/+19
* Simplify appliedToMartin Odersky2016-07-111-23/+9
* Get rid of BindingKindMartin Odersky2016-07-115-65/+17
* Handle signatures over uninstantiated type variablesMartin Odersky2016-07-115-12/+40
* Remove refinement encoding of hk typesMartin Odersky2016-07-1117-653/+112
* Fixes for printing under -Ytest-picklerMartin Odersky2016-07-112-2/+3
* Fix parameter unpicklingMartin Odersky2016-07-111-10/+10
* Drop assertion in TypeMapMartin Odersky2016-07-112-6/+6
* Special case for TypeRefs in upperboundMartin Odersky2016-07-111-1/+6
* Fixes to hk comparisonsMartin Odersky2016-07-111-14/+8
* Don't dealias when applying typesMartin Odersky2016-07-111-4/+6
* Don't make * types higher-kinded in avoidMartin Odersky2016-07-111-2/+4
* Handle WildcardType in liftToClassesMartin Odersky2016-07-112-1/+2
* Handle findMember for unreduced hk types.Martin Odersky2016-07-111-3/+22
* Beta-reduce with wildcard arguments if this is safe.Martin Odersky2016-07-112-9/+45
* When comparing types revert eta-expansion as neededMartin Odersky2016-07-113-14/+53
* Skip typeBounds when computing upperBoundMartin Odersky2016-07-111-1/+1
* Drop bounds checking for type lambdasMartin Odersky2016-07-111-5/+13
* Allow for HK types in widenForMatchSelectorMartin Odersky2016-07-111-2/+4
* Refactor handling of unpickled type paramsMartin Odersky2016-07-117-64/+103
* Avoid cyclic errors when reading nsc.GlobalMartin Odersky2016-07-111-0/+7
* Handle TypeLambdas in findMemberMartin Odersky2016-07-112-10/+7
* Ensure wildApprox maintains kindsMartin Odersky2016-07-111-0/+5
* Change underlying of HKApplyMartin Odersky2016-07-111-2/+10
* Tweaks to appliedToMartin Odersky2016-07-111-4/+11
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-1116-102/+124
* Various hk related fixes in typesMartin Odersky2016-07-113-45/+73
* Fix printing of type lambda trees and typesMartin Odersky2016-07-112-3/+5
* Fix appliedTo and typeParams, and higher kinded subtyping testsMartin Odersky2016-07-113-65/+196
* Make Constraint#bounds work for aliasesMartin Odersky2016-07-111-3/+3
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 21:21:47 +0000