Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | | Merge pull request #1409 from dotty-staging/fix-hk-typdefs-of-lambdas | Guillaume Martres | 2016-07-25 | 1 | -0/+21 | |
|\ \ \ \ \ | |_|/ / / |/| | | | | ||||||
| * | | | | Take curried type lambdas into account | Martin Odersky | 2016-07-22 | 1 | -0/+12 | |
| * | | | | Fix parameterized typedefs with lambdas as rhs | Martin Odersky | 2016-07-22 | 1 | -0/+9 | |
| | |/ / | |/| | | ||||||
* | | | | Adress reviewers comments | Martin Odersky | 2016-07-25 | 1 | -1/+1 | |
* | | | | Fix #1385: Temporarily lift 22 limit for functions | Martin Odersky | 2016-07-25 | 1 | -0/+7 | |
| |/ / |/| | | ||||||
* | | | Fix #1401: Make sure all refs are forwarded | Martin Odersky | 2016-07-21 | 1 | -0/+25 | |
|/ / | ||||||
* | | Merge pull request #1395 from dotty-staging/fix-#1378 | odersky | 2016-07-21 | 1 | -0/+3 | |
|\ \ | ||||||
| * | | Proparage function result constrains when inferring parameter types | Martin Odersky | 2016-07-16 | 1 | -0/+3 | |
| |/ | ||||||
* | | Merge pull request #1402 from dotty-staging/fix-wildcard-protos | Guillaume Martres | 2016-07-19 | 1 | -0/+11 | |
|\ \ | ||||||
| * | | Add test case | Martin Odersky | 2016-07-19 | 1 | -0/+11 | |
* | | | Merge pull request #1400 from dotty-staging/fix/hk-reduce-typerefs | odersky | 2016-07-19 | 2 | -0/+22 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | HK reduction: Remove special-case for typerefs | Guillaume Martres | 2016-07-18 | 1 | -0/+11 | |
| * | | 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 | 1 | -0/+4 | |
|\ \ | ||||||
| * | | Refine disambiguation logic and add test case. | Martin Odersky | 2016-07-15 | 1 | -0/+4 | |
* | | | Merge pull request #1399 from dotty-staging/fix-patmat-typing | odersky | 2016-07-18 | 2 | -0/+25 | |
|\ \ \ | ||||||
| * | | | Fix test error annotation | Martin Odersky | 2016-07-18 | 1 | -1/+1 | |
| * | | | Add test case | Martin Odersky | 2016-07-18 | 1 | -0/+24 | |
| * | | | Fix typing of match expressions | Martin Odersky | 2016-07-17 | 1 | -0/+1 | |
| | |/ | |/| | ||||||
* | | | Merge pull request #1389 from dotty-staging/fix-#1381 | odersky | 2016-07-18 | 5 | -6/+80 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | 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 | 1 | -6/+2 | |
* | | | Merge pull request #1377 from dotty-staging/#1365 | odersky | 2016-07-15 | 1 | -0/+13 | |
|\ \ \ | ||||||
| * | | | Fix 1365: Fix bindings in patterns | Martin Odersky | 2016-07-09 | 1 | -0/+13 | |
* | | | | Merge pull request #1291 from nicolasstucki/implement-scala-dynamic | Dmitry Petrashko | 2016-07-15 | 34 | -0/+462 | |
|\ \ \ \ | ||||||
| * | | | | Fix TypeOps.featureEnabled ignoring import disabling. | Nicolas Stucki | 2016-07-07 | 1 | -0/+10 | |
| * | | | | Add scala.Dynamic language feature check. | Nicolas Stucki | 2016-07-07 | 2 | -0/+10 | |
| * | | | | Fix #657: Add scala.Dynamic support. | Nicolas Stucki | 2016-07-07 | 32 | -0/+442 | |
| |/ / / | ||||||
* | | | | Merge pull request #1334 from dotty-jvican/implement-no-predef-no-import | Dmitry Petrashko | 2016-07-15 | 3 | -0/+9 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | Implement -Yno-predef and -Yno-imports | jvican | 2016-06-29 | 3 | -0/+9 | |
* | | | | Merge pull request #1343 from dotty-staging/change-hk-direct2 | odersky | 2016-07-15 | 44 | -76/+404 | |
|\ \ \ \ | ||||||
| * | | | | Bounds of type lambdas compare contravariantly | Martin Odersky | 2016-07-15 | 2 | -1/+9 | |
| * | | | | 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 | 3 | -7/+37 | |
| * | | | | Allow hk parameters in lower bounds | Martin Odersky | 2016-07-13 | 3 | -11/+15 | |
| * | | | | 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 | 4 | -6/+55 | |
| * | | | | Avoid dealiasing on type application | Martin Odersky | 2016-07-12 | 4 | -13/+14 | |
| * | | | | Allow definition of new types in refinements | Martin Odersky | 2016-07-12 | 6 | -10/+64 | |
| * | | | | Fix SI-2712 | Martin Odersky | 2016-07-11 | 7 | -4/+79 | |
| * | | | | More tests | Martin Odersky | 2016-07-11 | 2 | -0/+24 | |
| * | | | | Disallow higher-kinded types that simulate general existential types | Martin Odersky | 2016-07-11 | 3 | -1/+62 | |
| * | | | | Don't make * types higher-kinded in avoid | Martin Odersky | 2016-07-11 | 2 | -10/+10 | |
| * | | | | Change tests | Martin Odersky | 2016-07-11 | 6 | -0/+0 | |
| * | | | | Eta-expand unapplied types that have type parameters | Martin Odersky | 2016-07-11 | 5 | -26/+22 | |
| * | | | | Add a second betaReduce | Martin Odersky | 2016-07-11 | 1 | -1/+1 | |
| * | | | | Normalize RecTypes on creation to avoid cycles. | Martin Odersky | 2016-07-11 | 1 | -20/+21 | |
| * | | | | Introduce recursive types | Martin Odersky | 2016-07-11 | 2 | -2/+4 |