Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | Revise typeParams to account for existential hk types | Martin Odersky | 2015-10-24 | 2 | -28/+37 | |
| * | | | Add test case | Martin Odersky | 2015-10-24 | 1 | -0/+252 | |
| * | | | Allow existential types in hk types | Martin Odersky | 2015-10-24 | 7 | -55/+41 | |
* | | | | Merge pull request #887 from dotty-staging/fix-#873 | odersky | 2015-11-02 | 3 | -15/+34 | |
|\ \ \ \ | ||||||
| * | | | | Also handle SAM functions when adaptiing arity of case lambdas. | Martin Odersky | 2015-10-30 | 2 | -14/+19 | |
| * | | | | Revert nullary function patch | Martin Odersky | 2015-10-30 | 1 | -2/+2 | |
| * | | | | Fix case expansion for nullary functions. | Martin Odersky | 2015-10-30 | 1 | -3/+3 | |
| * | | | | Allow pattern matching anonymous functions of arity > 1 | Martin Odersky | 2015-10-30 | 3 | -6/+20 | |
* | | | | | Merge pull request #908 from dotty-staging/fix-#903 | odersky | 2015-11-02 | 2 | -0/+27 | |
|\ \ \ \ \ | |_|_|/ / |/| | | | | ||||||
| * | | | | Add tests for wildcards without types | Martin Odersky | 2015-11-02 | 1 | -0/+2 | |
| * | | | | Parentheses around a wildcard should not produce a lambda | Martin Odersky | 2015-11-02 | 2 | -0/+25 | |
|/ / / / | ||||||
* | | | | Merge pull request #896 from dotty-staging/gitignore | odersky | 2015-10-31 | 2 | -0/+7 | |
|\ \ \ \ | ||||||
| * | | | | Fix #895: Maintain keep file during bootstrap | Dmitry Petrashko | 2015-10-31 | 1 | -0/+2 | |
| * | | | | Add `out/` folder correctly to gitignore. | Dmitry Petrashko | 2015-10-31 | 1 | -0/+5 | |
* | | | | | Merge pull request #894 from dotty-staging/check-singlethreaded | Dmitry Petrashko | 2015-10-31 | 2 | -0/+11 | |
|\ \ \ \ \ | ||||||
| * | | | | | Check that access to context base is singlethreaded. | Martin Odersky | 2015-10-31 | 2 | -0/+11 | |
* | | | | | | Merge pull request #890 from dotty-staging/fix-#879 | Dmitry Petrashko | 2015-10-31 | 2 | -1/+12 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | Address reviewer comments | Martin Odersky | 2015-10-30 | 2 | -2/+2 | |
| * | | | | | Fix #879 | Martin Odersky | 2015-10-30 | 3 | -3/+14 | |
| | |_|_|/ | |/| | | | ||||||
* | | | | | Merge pull request #892 from dotty-staging/fix-typeparam-names | odersky | 2015-10-31 | 1 | -6/+5 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Avoid printing expanded names when displaying type parameters. | Martin Odersky | 2015-10-30 | 1 | -6/+5 | |
|/ / / / | ||||||
* | | | | Merge pull request #886 from dotty-staging/fix-#884 | Guillaume Martres | 2015-10-30 | 8 | -16/+19 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | Add missing test file. | Martin Odersky | 2015-10-30 | 1 | -0/+28 | |
| * | | | Fix #884 - misdiagnosed ambiguous definition. | Martin Odersky | 2015-10-29 | 8 | -44/+19 | |
* | | | | Merge pull request #882 from dotty-staging/fix/java-annots-pos | odersky | 2015-10-30 | 2 | -1/+4 | |
|\ \ \ \ | ||||||
| * | | | | Set position on annotations parsed from Java | Guillaume Martres | 2015-10-29 | 2 | -1/+4 | |
* | | | | | Merge pull request #883 from dotty-staging/add/Main-process | Guillaume Martres | 2015-10-29 | 1 | -1/+7 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Make it easier to call the compiler using reflection | Guillaume Martres | 2015-10-29 | 1 | -1/+7 | |
|/ / / / | ||||||
* | | | | Merge pull request #869 from dotty-staging/fix-#866 | odersky | 2015-10-27 | 14 | -31/+51 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Don't count suppressed errors | Martin Odersky | 2015-10-26 | 6 | -18/+33 | |
| * | | | Keep separate chain of outer reporters for StoreReporters | Martin Odersky | 2015-10-26 | 5 | -7/+12 | |
| * | | | Shorten ctx.typerState.reporter to ctx.reporter | Martin Odersky | 2015-10-26 | 6 | -6/+6 | |
|/ / / | ||||||
* | | | Merge pull request #865 from dotty-staging/fix-module-alias-subtyping | Guillaume Martres | 2015-10-25 | 2 | -4/+18 | |
|\ \ \ | ||||||
| * | | | Fix hole in subtyping of modules | Martin Odersky | 2015-10-25 | 2 | -4/+18 | |
|/ / / | ||||||
* | | | Merge pull request #863 from dotty-staging/fix/inference-methcall | Guillaume Martres | 2015-10-25 | 3 | -3/+42 | |
|\ \ \ | ||||||
| * | | | Readd `.widen` which was accidentally removed from the previous commit | Guillaume Martres | 2015-10-25 | 1 | -1/+1 | |
| * | | | Simplify logic in adapt | Martin Odersky | 2015-10-25 | 1 | -10/+2 | |
| * | | | Fix issue that prevented instantiating some tvars before implicit search | Guillaume Martres | 2015-10-25 | 2 | -3/+29 | |
| * | | | Less eager tvar interpolation: wait until method calls are fully applied | Guillaume Martres | 2015-10-25 | 2 | -2/+23 | |
|/ / / | ||||||
* | | | Merge pull request #843 from dotty-staging/fix-#830 | odersky | 2015-10-25 | 2 | -3/+25 | |
|\ \ \ | ||||||
| * | | | Only replace intersections of constants with Nothing | Martin Odersky | 2015-10-23 | 1 | -4/+10 | |
| * | | | Fix #830: Compiler hangs on implicit search with singleton &/| | Martin Odersky | 2015-10-22 | 2 | -3/+19 | |
* | | | | Merge pull request #858 from lampepfl/DarkDimius-patch-3 | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Add link to gitter channel, delete travis badge. | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 | |
|/ / / / | ||||||
* | | | | Merge pull request #857 from dotty-staging/change-readme | Dmitry Petrashko | 2015-10-23 | 2 | -7/+86 | |
|\ \ \ \ | ||||||
| * | | | | Change readme to reflect current state | Martin Odersky | 2015-10-23 | 1 | -7/+23 | |
| | |_|/ | |/| | | ||||||
| * | | | fix typos | Martin Odersky | 2015-10-23 | 1 | -8/+8 | |
| * | | | fix typos | Martin Odersky | 2015-10-23 | 1 | -2/+4 | |
| * | | | fix typos | Martin Odersky | 2015-10-23 | 1 | -3/+3 | |
| * | | | fix typos | Martin Odersky | 2015-10-23 | 1 | -2/+2 |