aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | 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
| * | | | | Start new, direct HK schemeMartin Odersky2016-07-1118-186/+478
| * | | | | Remove old hk schemeMartin Odersky2016-07-1123-688/+104
| * | | | | Various tweaksMartin Odersky2016-07-114-69/+86
| * | | | | Deal with nested findMember calls over the same RecTypeMartin Odersky2016-07-111-5/+43
| * | | | | Change testsMartin Odersky2016-07-114-3/+22
| * | | | | Avoid creating dependent function types for closuresMartin Odersky2016-07-111-1/+7
| * | | | | Make TypeAccumulators follow LazyRefsMartin Odersky2016-07-112-0/+7
| * | | | | Fix condition for lambda abstracting in NamerMartin Odersky2016-07-113-9/+9
| * | | | | Avoid infinite recursion when comparing recursive types.Martin Odersky2016-07-113-8/+5
| * | | | | Optionally, check kinds match for & and |Martin Odersky2016-07-113-1/+38
| * | | | | Restrict betaReduce to hk applicationsMartin Odersky2016-07-112-2/+12
| * | | | | Eta-expand unapplied types that have type parametersMartin Odersky2016-07-116-13/+36
| * | | | | Avoid accidental creation of hk typesMartin Odersky2016-07-115-9/+15
| * | | | | Fix typeParams for abstract types under completionMartin Odersky2016-07-111-10/+11
| * | | | | Adapt widenForMatchSelector to new HK schemeMartin Odersky2016-07-111-3/+9
| * | | | | 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-112-4/+10
| * | | | | Refinement of cycle avoidanceMartin Odersky2016-07-112-3/+27
| * | | | | Beta-reduce when simplifyingMartin Odersky2016-07-111-1/+2
| * | | | | Multiple fixesMartin Odersky2016-07-114-47/+109
| * | | | | Turn on new hk schemeMartin Odersky2016-07-1115-169/+404
| * | | | | Remove special case in parserMartin Odersky2016-07-111-10/+3
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-09 22:03:05 +0000