Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | Implement -Yno-predef and -Yno-imports | jvican | 2016-06-29 | 6 | -6/+28 | |
* | | | | | Merge pull request #1343 from dotty-staging/change-hk-direct2 | odersky | 2016-07-15 | 103 | -1417/+2375 | |
|\ \ \ \ \ | ||||||
| * | | | | | Bounds of type lambdas compare contravariantly | Martin Odersky | 2016-07-15 | 3 | -13/+27 | |
| * | | | | | Add test case for hk bounds checking | Martin Odersky | 2016-07-14 | 1 | -0/+23 | |
| * | | | | | Fix bounds checking of hk applied typed | Martin Odersky | 2016-07-14 | 7 | -53/+67 | |
| * | | | | | Allow hk parameters in lower bounds | Martin Odersky | 2016-07-13 | 7 | -28/+23 | |
| * | | | | | Simplify variance computations | Martin Odersky | 2016-07-13 | 1 | -6/+2 | |
| * | | | | | Make rewritings of hk applications configurable | Martin Odersky | 2016-07-13 | 4 | -18/+42 | |
| * | | | | | Optimize hk comparisons | Martin Odersky | 2016-07-13 | 2 | -11/+24 | |
| * | | | | | Enable test for fixed #1181: Typer should preserve aliases in TypeTrees | Guillaume Martres | 2016-07-12 | 1 | -0/+0 | |
| * | | | | | Drop restriction to 2nd order hk types | Martin Odersky | 2016-07-12 | 6 | -12/+60 | |
| * | | | | | Avoid dealiasing on type application | Martin Odersky | 2016-07-12 | 10 | -66/+103 | |
| * | | | | | Allow definition of new types in refinements | Martin Odersky | 2016-07-12 | 7 | -11/+65 | |
| * | | | | | ExtractAPI: Add support for RecType | Guillaume Martres | 2016-07-12 | 1 | -2/+14 | |
| * | | | | | ExtractAPI: Add support for TypeLambdas | Guillaume Martres | 2016-07-12 | 1 | -4/+11 | |
| * | | | | | ExtractAPI: Do not miss value parameters of PolyTypes | Guillaume Martres | 2016-07-12 | 8 | -0/+55 | |
| * | | | | | Address reviewers comments | Martin Odersky | 2016-07-11 | 11 | -49/+55 | |
| * | | | | | Fix SI-2712 | Martin Odersky | 2016-07-11 | 13 | -22/+163 | |
| * | | | | | More tests | Martin Odersky | 2016-07-11 | 2 | -0/+24 | |
| * | | | | | Drop compareAliasedRefined | Martin Odersky | 2016-07-11 | 2 | -37/+4 | |
| * | | | | | Refactor Typevar instantiation | Martin Odersky | 2016-07-11 | 2 | -43/+52 | |
| * | | | | | Add a case where caching was missing. | Martin Odersky | 2016-07-11 | 2 | -3/+5 | |
| * | | | | | Do the right thing for NoDenotation.mapInfo | Martin Odersky | 2016-07-11 | 1 | -0/+1 | |
| * | | | | | Unify aliases when taking a lub. | Martin Odersky | 2016-07-11 | 1 | -2/+18 | |
| * | | | | | Less eager removal of type parameters from constraint | Martin Odersky | 2016-07-11 | 3 | -24/+26 | |
| * | | | | | Disallow higher-kinded types that simulate general existential types | Martin Odersky | 2016-07-11 | 7 | -7/+125 | |
| * | | | | | Fix bug in printing untyped New nodes. | Martin Odersky | 2016-07-11 | 1 | -1/+5 | |
| * | | | | | Avoid orphan parameters in Constraint#replace | Martin Odersky | 2016-07-11 | 1 | -1/+1 | |
| * | | | | | Drop Config.checkKinds | Martin Odersky | 2016-07-11 | 13 | -107/+20 | |
| * | | | | | Refactorings of GenericTypes and underlying/upperbound | Martin Odersky | 2016-07-11 | 9 | -146/+100 | |
| * | | | | | Revert complications in asMemberOf | Martin Odersky | 2016-07-11 | 2 | -25/+4 | |
| * | | | | | Cleanup of Signature matching | Martin Odersky | 2016-07-11 | 4 | -14/+19 | |
| * | | | | | Simplify appliedTo | Martin Odersky | 2016-07-11 | 1 | -23/+9 | |
| * | | | | | Get rid of BindingKind | Martin Odersky | 2016-07-11 | 5 | -65/+17 | |
| * | | | | | Handle signatures over uninstantiated type variables | Martin Odersky | 2016-07-11 | 5 | -12/+40 | |
| * | | | | | Remove refinement encoding of hk types | Martin Odersky | 2016-07-11 | 17 | -653/+112 | |
| * | | | | | Fixes for printing under -Ytest-pickler | Martin Odersky | 2016-07-11 | 2 | -2/+3 | |
| * | | | | | Fix parameter unpickling | Martin Odersky | 2016-07-11 | 1 | -10/+10 | |
| * | | | | | Drop assertion in TypeMap | Martin Odersky | 2016-07-11 | 2 | -6/+6 | |
| * | | | | | Special case for TypeRefs in upperbound | Martin Odersky | 2016-07-11 | 1 | -1/+6 | |
| * | | | | | Fixes to hk comparisons | Martin Odersky | 2016-07-11 | 1 | -14/+8 | |
| * | | | | | Don't dealias when applying types | Martin Odersky | 2016-07-11 | 1 | -4/+6 | |
| * | | | | | Don't make * types higher-kinded in avoid | Martin Odersky | 2016-07-11 | 3 | -12/+14 | |
| * | | | | | 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 |