aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | 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-1111-3/+23
| * | | | | 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-1111-39/+58
| * | | | | 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-116-15/+50
| * | | | | Normalize RecTypes on creation to avoid cycles.Martin Odersky2016-07-112-27/+50
| * | | | | 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
| * | | | | Add printing of type lambda treesMartin Odersky2016-07-113-6/+14
| * | | | | Disable checkInst in RecTypeMartin Odersky2016-07-111-9/+8
| * | | | | Abstract type parameters out from type symbolsMartin Odersky2016-07-1110-43/+110
| * | | | | Introduce recursive typesMartin Odersky2016-07-1118-39/+296
| * | | | | New type lambda scheme for hk typesMartin Odersky2016-07-118-4/+86
| * | | | | Better printing of skolemsMartin Odersky2016-07-112-2/+8
| * | | | | Allow general recursion in refined types.Martin Odersky2016-07-1113-41/+59
| * | | | | Allow refinements of new typesMartin Odersky2016-07-115-18/+50
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-03 09:15:06 +0000