Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | Handle WildcardType in liftToClasses | Martin Odersky | 2016-07-11 | 2 | -1/+2 | |
| * | | | | Handle findMember for unreduced hk types. | Martin Odersky | 2016-07-11 | 1 | -3/+22 | |
| * | | | | Beta-reduce with wildcard arguments if this is safe. | Martin Odersky | 2016-07-11 | 2 | -9/+45 | |
| * | | | | When comparing types revert eta-expansion as needed | Martin Odersky | 2016-07-11 | 3 | -14/+53 | |
| * | | | | Skip typeBounds when computing upperBound | Martin Odersky | 2016-07-11 | 1 | -1/+1 | |
| * | | | | Drop bounds checking for type lambdas | Martin Odersky | 2016-07-11 | 1 | -5/+13 | |
| * | | | | Allow for HK types in widenForMatchSelector | Martin Odersky | 2016-07-11 | 1 | -2/+4 | |
| * | | | | Refactor handling of unpickled type params | Martin Odersky | 2016-07-11 | 7 | -64/+103 | |
| * | | | | Avoid cyclic errors when reading nsc.Global | Martin Odersky | 2016-07-11 | 1 | -0/+7 | |
| * | | | | Handle TypeLambdas in findMember | Martin Odersky | 2016-07-11 | 2 | -10/+7 | |
| * | | | | Ensure wildApprox maintains kinds | Martin Odersky | 2016-07-11 | 1 | -0/+5 | |
| * | | | | Change underlying of HKApply | Martin Odersky | 2016-07-11 | 1 | -2/+10 | |
| * | | | | Tweaks to appliedTo | Martin Odersky | 2016-07-11 | 1 | -4/+11 | |
| * | | | | Refactoring of PolyType and TypeLambda | Martin Odersky | 2016-07-11 | 16 | -102/+124 | |
| * | | | | Various hk related fixes in types | Martin Odersky | 2016-07-11 | 3 | -45/+73 | |
| * | | | | Fix printing of type lambda trees and types | Martin Odersky | 2016-07-11 | 2 | -3/+5 | |
| * | | | | Fix appliedTo and typeParams, and higher kinded subtyping tests | Martin Odersky | 2016-07-11 | 3 | -65/+196 | |
| * | | | | Make Constraint#bounds work for aliases | Martin Odersky | 2016-07-11 | 1 | -3/+3 | |
| * | | | | Start new, direct HK scheme | Martin Odersky | 2016-07-11 | 18 | -186/+478 | |
| * | | | | Remove old hk scheme | Martin Odersky | 2016-07-11 | 23 | -688/+104 | |
| * | | | | Various tweaks | Martin Odersky | 2016-07-11 | 4 | -69/+86 | |
| * | | | | Deal with nested findMember calls over the same RecType | Martin Odersky | 2016-07-11 | 1 | -5/+43 | |
| * | | | | Change tests | Martin Odersky | 2016-07-11 | 4 | -3/+22 | |
| * | | | | Avoid creating dependent function types for closures | Martin Odersky | 2016-07-11 | 1 | -1/+7 | |
| * | | | | Make TypeAccumulators follow LazyRefs | Martin Odersky | 2016-07-11 | 2 | -0/+7 | |
| * | | | | Fix condition for lambda abstracting in Namer | Martin Odersky | 2016-07-11 | 3 | -9/+9 | |
| * | | | | Avoid infinite recursion when comparing recursive types. | Martin Odersky | 2016-07-11 | 3 | -8/+5 | |
| * | | | | Optionally, check kinds match for & and | | Martin Odersky | 2016-07-11 | 3 | -1/+38 | |
| * | | | | Restrict betaReduce to hk applications | Martin Odersky | 2016-07-11 | 2 | -2/+12 | |
| * | | | | Eta-expand unapplied types that have type parameters | Martin Odersky | 2016-07-11 | 6 | -13/+36 | |
| * | | | | Avoid accidental creation of hk types | Martin Odersky | 2016-07-11 | 5 | -9/+15 | |
| * | | | | Fix typeParams for abstract types under completion | Martin Odersky | 2016-07-11 | 1 | -10/+11 | |
| * | | | | Adapt widenForMatchSelector to new HK scheme | Martin Odersky | 2016-07-11 | 1 | -3/+9 | |
| * | | | | Add a second betaReduce | Martin Odersky | 2016-07-11 | 5 | -14/+49 | |
| * | | | | Normalize RecTypes on creation to avoid cycles. | Martin Odersky | 2016-07-11 | 1 | -7/+29 | |
| * | | | | Fixes to BetaReduce and asMemberOf; add a second betaReduce | Martin Odersky | 2016-07-11 | 5 | -67/+97 | |
| * | | | | Don't map info of SkolemTypes in type maps | Martin Odersky | 2016-07-11 | 1 | -6/+1 | |
| * | | | | Make etaExpandIfHk work for non-symbol type params | Martin Odersky | 2016-07-11 | 2 | -4/+10 | |
| * | | | | Refinement of cycle avoidance | Martin Odersky | 2016-07-11 | 2 | -3/+27 | |
| * | | | | Beta-reduce when simplifying | Martin Odersky | 2016-07-11 | 1 | -1/+2 | |
| * | | | | Multiple fixes | Martin Odersky | 2016-07-11 | 4 | -47/+109 | |
| * | | | | Turn on new hk scheme | Martin Odersky | 2016-07-11 | 15 | -169/+404 | |
| * | | | | Remove special case in parser | Martin Odersky | 2016-07-11 | 1 | -10/+3 | |
| * | | | | Add printing of type lambda trees | Martin Odersky | 2016-07-11 | 3 | -6/+14 | |
| * | | | | Disable checkInst in RecType | Martin Odersky | 2016-07-11 | 1 | -9/+8 | |
| * | | | | Abstract type parameters out from type symbols | Martin Odersky | 2016-07-11 | 10 | -43/+110 | |
| * | | | | Introduce recursive types | Martin Odersky | 2016-07-11 | 16 | -37/+292 | |
| * | | | | New type lambda scheme for hk types | Martin Odersky | 2016-07-11 | 7 | -3/+85 | |
| * | | | | Better printing of skolems | Martin Odersky | 2016-07-11 | 2 | -2/+8 | |
| * | | | | Allow general recursion in refined types. | Martin Odersky | 2016-07-11 | 13 | -41/+59 |