aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core
Commit message (Expand)AuthorAgeFilesLines
* Avoid orphan parameters in Constraint#replaceMartin Odersky2016-07-111-1/+1
* Drop Config.checkKindsMartin Odersky2016-07-116-89/+10
* Refactorings of GenericTypes and underlying/upperboundMartin Odersky2016-07-116-137/+97
* Revert complications in asMemberOfMartin Odersky2016-07-112-25/+4
* Cleanup of Signature matchingMartin Odersky2016-07-113-11/+16
* Simplify appliedToMartin Odersky2016-07-111-23/+9
* Get rid of BindingKindMartin Odersky2016-07-114-61/+17
* Handle signatures over uninstantiated type variablesMartin Odersky2016-07-114-10/+27
* Remove refinement encoding of hk typesMartin Odersky2016-07-1111-601/+104
* Fixes for printing under -Ytest-picklerMartin Odersky2016-07-111-1/+2
* Fix parameter unpicklingMartin Odersky2016-07-111-10/+10
* Drop assertion in TypeMapMartin Odersky2016-07-111-3/+1
* 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
* 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-112-14/+45
* Skip typeBounds when computing upperBoundMartin Odersky2016-07-111-1/+1
* Drop bounds checking for type lambdasMartin Odersky2016-07-111-5/+13
* Refactor handling of unpickled type paramsMartin Odersky2016-07-115-36/+69
* Avoid cyclic errors when reading nsc.GlobalMartin Odersky2016-07-111-0/+7
* Handle TypeLambdas in findMemberMartin Odersky2016-07-112-10/+7
* Change underlying of HKApplyMartin Odersky2016-07-111-2/+10
* Tweaks to appliedToMartin Odersky2016-07-111-4/+11
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-1110-91/+113
* Various hk related fixes in typesMartin Odersky2016-07-112-44/+73
* 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
* Start new, direct HK schemeMartin Odersky2016-07-1113-148/+418
* Remove old hk schemeMartin Odersky2016-07-1114-640/+97
* Various tweaksMartin Odersky2016-07-113-68/+85
* Deal with nested findMember calls over the same RecTypeMartin Odersky2016-07-111-5/+43
* Change testsMartin Odersky2016-07-112-0/+19
* Make TypeAccumulators follow LazyRefsMartin Odersky2016-07-111-0/+3
* Fix condition for lambda abstracting in NamerMartin Odersky2016-07-112-8/+8
* Avoid infinite recursion when comparing recursive types.Martin Odersky2016-07-112-3/+3
* Optionally, check kinds match for & and |Martin Odersky2016-07-112-1/+33
* Restrict betaReduce to hk applicationsMartin Odersky2016-07-112-2/+12
* Eta-expand unapplied types that have type parametersMartin Odersky2016-07-111-4/+7
* Avoid accidental creation of hk typesMartin Odersky2016-07-114-7/+12
* Fix typeParams for abstract types under completionMartin Odersky2016-07-111-10/+11
* Add a second betaReduceMartin Odersky2016-07-115-14/+49
* Normalize RecTypes on creation to avoid cycles.Martin Odersky2016-07-111-7/+29
* Fixes to BetaReduce and asMemberOf; add a second betaReduceMartin Odersky2016-07-115-67/+97
* Don't map info of SkolemTypes in type mapsMartin Odersky2016-07-111-6/+1
* Make etaExpandIfHk work for non-symbol type paramsMartin Odersky2016-07-111-3/+9
* Refinement of cycle avoidanceMartin Odersky2016-07-112-3/+27
* Beta-reduce when simplifyingMartin Odersky2016-07-111-1/+2
* Multiple fixesMartin Odersky2016-07-113-45/+104
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 16:36:34 +0000