aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Changes to overloadingMartin Odersky2016-07-152-70/+71
* Merge pull request #1343 from dotty-staging/change-hk-direct2odersky2016-07-1550-1337/+1914
|\
| * Bounds of type lambdas compare contravariantlyMartin Odersky2016-07-151-12/+18
| * Fix bounds checking of hk applied typedMartin Odersky2016-07-144-46/+30
| * Allow hk parameters in lower boundsMartin Odersky2016-07-134-17/+8
| * Simplify variance computationsMartin Odersky2016-07-131-6/+2
| * Make rewritings of hk applications configurableMartin Odersky2016-07-134-18/+42
| * Optimize hk comparisonsMartin Odersky2016-07-132-11/+24
| * 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 10:05:18 +0000