Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #1400 from dotty-staging/fix/hk-reduce-typerefs | odersky | 2016-07-19 | 4 | -15/+31 |
|\ | |||||
| * | HK reduction: Remove special-case for typerefs | Guillaume Martres | 2016-07-18 | 3 | -15/+20 |
| * | Better test for #1181 | Guillaume Martres | 2016-07-18 | 1 | -0/+11 |
* | | Merge pull request #1393 from dotty-staging/fix-#1386 | odersky | 2016-07-18 | 2 | -6/+40 |
|\ \ | |||||
| * | | Refactor code into nested method | Martin Odersky | 2016-07-15 | 1 | -5/+6 |
| * | | Refine disambiguation logic and add test case. | Martin Odersky | 2016-07-15 | 2 | -3/+18 |
| * | | Fix #1386: Reduce double def errors | Martin Odersky | 2016-07-15 | 1 | -6/+24 |
* | | | Merge pull request #1399 from dotty-staging/fix-patmat-typing | odersky | 2016-07-18 | 3 | -8/+37 |
|\ \ \ | |||||
| * | | | Fix test error annotation | Martin Odersky | 2016-07-18 | 1 | -1/+1 |
| * | | | Add test case | Martin Odersky | 2016-07-18 | 2 | -1/+25 |
| * | | | Fix typing of match expressions | Martin Odersky | 2016-07-17 | 2 | -8/+13 |
* | | | | Merge pull request #1389 from dotty-staging/fix-#1381 | odersky | 2016-07-18 | 7 | -76/+151 |
|\ \ \ \ | |_|_|/ |/| | | | |||||
| * | | | Make run tests for #1381. | Nicolas Stucki | 2016-07-18 | 3 | -36/+66 |
| * | | | Add tests | Martin Odersky | 2016-07-15 | 3 | -0/+39 |
| * | | | Additions to test | Martin Odersky | 2016-07-15 | 1 | -0/+9 |
| * | | | Changes to overloading | Martin Odersky | 2016-07-15 | 3 | -76/+73 |
* | | | | Merge pull request #1345 from dotty-staging/improve-Xprint | Dmitry Petrashko | 2016-07-17 | 4 | -9/+105 |
|\ \ \ \ | |_|/ / |/| | | | |||||
| * | | | Fix #1312: Improve Xprint | Nicolas Stucki | 2016-07-15 | 4 | -9/+105 |
| |/ / | |||||
* | | | Merge pull request #1377 from dotty-staging/#1365 | odersky | 2016-07-15 | 3 | -22/+80 |
|\ \ \ | |||||
| * | | | Drop superfluous code | Martin Odersky | 2016-07-15 | 1 | -5/+1 |
| * | | | Fix 1365: Fix bindings in patterns | Martin Odersky | 2016-07-09 | 3 | -22/+84 |
* | | | | Merge pull request #1291 from nicolasstucki/implement-scala-dynamic | Dmitry Petrashko | 2016-07-15 | 44 | -20/+626 |
|\ \ \ \ | |||||
| * | | | | Fix TypeOps.featureEnabled ignoring import disabling. | Nicolas Stucki | 2016-07-07 | 2 | -9/+20 |
| * | | | | Add scala.Dynamic language feature check. | Nicolas Stucki | 2016-07-07 | 7 | -4/+55 |
| * | | | | Fix #657: Add scala.Dynamic support. | Nicolas Stucki | 2016-07-07 | 38 | -7/+551 |
* | | | | | Merge pull request #1334 from dotty-jvican/implement-no-predef-no-import | Dmitry Petrashko | 2016-07-15 | 6 | -6/+28 |
|\ \ \ \ \ | |_|_|/ / |/| | | | | |||||
| * | | | | 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 |