Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | Test that #1687 is fixed. | Dmitry Petrashko | 2017-01-22 | 2 | -0/+29 | |
| | | | | | | | | | | | | The b-test would compile for a millenia without the fix. | |||||
* | | | Upgrade backend to fix Java interop for inner classes | Guillaume Martres | 2017-01-27 | 1 | -2/+1 | |
|/ / | | | | | | | | | | | The upgraded backend contains a single new PR: https://github.com/DarkDimius/scala/pull/4 which fixes Java interop with Dotty-emitted inner classes in objects. | |||||
* | | Merge pull request #1883 from dotty-staging/fix-1877 | Dmitry Petrashko | 2017-01-11 | 10 | -0/+111 | |
|\ \ | | | | | | | Fix #1877: Add forwarders for primitive/generic mixins. | |||||
| * | | Add PrimitiveForwarders and fix forwarding on value classes. | Nicolas Stucki | 2017-01-11 | 4 | -0/+46 | |
| | | | ||||||
| * | | Fix #1877: Add forwarders for primitive/generic mixins. | Nicolas Stucki | 2017-01-06 | 6 | -0/+65 | |
| |/ | ||||||
* | | Merge pull request #1894 from dotty-staging/fix/inner-class-emission | Guillaume Martres | 2017-01-11 | 2 | -0/+17 | |
|\ \ | | | | | | | Partially fix Java interop for emitted inner classes | |||||
| * | | Partially fix Java interop for emitted inner classes | Guillaume Martres | 2017-01-11 | 2 | -0/+17 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The backend uses `rawname` to define the "inner name" of an InnerClass entry in a classfile, this should be the simple name of the class before any mangling takes place. Fixing this allows Java code to reference dotty inner classes, except if they're defined in objects which is still broken until https://github.com/DarkDimius/scala/pull/4 is merged and a new backend is published. | |||||
* | | | Fix #1891: Don't add redundant constraint | Martin Odersky | 2017-01-10 | 1 | -0/+11 | |
|/ / | | | | | | | | | | | | | | | Before adding a constraint, make sure there is no way the two types are already in a subtype relation. Adding redundant constraints is problematic because we might introduce cycles. See i1891.scala for a test. | |||||
* | | Improve error position and drop second error since it is pruned | Jonathan Brachthäuser | 2017-01-08 | 1 | -1/+1 | |
| | | ||||||
* | | Merge pull request #1887 from dotty-staging/fix-#1867 | Guillaume Martres | 2017-01-07 | 1 | -0/+3 | |
|\ \ | |/ |/| | Fix #1867: Set position of empty refined types | |||||
| * | Fix #1867: Set position of empty refined types | Martin Odersky | 2017-01-04 | 1 | -0/+3 | |
| | | ||||||
* | | Merge pull request #1873 from dotty-staging/fix-#1865 | odersky | 2017-01-05 | 1 | -0/+24 | |
|\ \ | | | | | | | Fix #1865: Compute outer path at right phase | |||||
| * | | Address reviewer comments | Martin Odersky | 2017-01-04 | 1 | -0/+0 | |
| | | | ||||||
| * | | Fix #1865: Compute outer path at right phase | Martin Odersky | 2017-01-03 | 1 | -0/+24 | |
| |/ | | | | | | | | | When computing the outer path, we need to be careful to dealias before erasure, even if the outer path is demanded during erasure. Otherwise we lose prefixes. | |||||
* | | Fix #1878: Generate fields for final vars. | Nicolas Stucki | 2017-01-05 | 2 | -0/+24 | |
| | | ||||||
* | | Merge pull request #1869 from dotty-staging/fix-#1868 | odersky | 2017-01-04 | 1 | -0/+7 | |
|\ \ | | | | | | | Fix #1868: Fix a logic error in a match | |||||
| * | | Fix #1868 - Fix logic bug in match | Martin Odersky | 2017-01-02 | 1 | -0/+7 | |
| |/ | ||||||
* / | Add test case | Martin Odersky | 2017-01-03 | 1 | -0/+15 | |
|/ | ||||||
* | Merge pull request #1850 from dotty-staging/fix-#1845 | odersky | 2016-12-28 | 1 | -0/+3 | |
|\ | | | | | Fix #1845: Survive illegal this-type prefixes | |||||
| * | Annotate other error line in test | Martin Odersky | 2016-12-26 | 1 | -1/+1 | |
| | | ||||||
| * | Add // error to neg test | Martin Odersky | 2016-12-22 | 1 | -1/+1 | |
| | | ||||||
| * | Fix #1845: Survive illegal this-type prefixes | Martin Odersky | 2016-12-22 | 1 | -0/+3 | |
| | | ||||||
* | | Move test into the right directory | Martin Odersky | 2016-12-26 | 1 | -0/+0 | |
| | | ||||||
* | | Fix #1716: Don't allow wildcards as type arguments to methods | Martin Odersky | 2016-12-25 | 1 | -0/+9 | |
| | | | | | | | | | | | | | | | | Wildcards don't make sense as type arguments to methods, and I believe to keep things simple this should also apply to method type arguments in patterns. The best way to enforce this is to make use of the existing infrastructure in the parser for topLevelTypes. | |||||
* | | Merge pull request #1826 from dotty-staging/fix-compile-stdlib | Guillaume Martres | 2016-12-21 | 1 | -0/+6 | |
|\ \ | | | | | | | Make more parts of stdlib compile | |||||
| * | | Fix subtyping of hk types with wildcard arguments | Martin Odersky | 2016-12-20 | 1 | -0/+6 | |
| |/ | | | | | | | | | Argument comparison of hk types did not take into account that the compared types could have themselves wildcard arguments. | |||||
* / | Fix #1795: Avoid infinite recursion between member and asSeenFrom | Martin Odersky | 2016-12-21 | 1 | -0/+13 | |
|/ | ||||||
* | Merge pull request #1832 from dotty-staging/fix-1810 | odersky | 2016-12-20 | 2 | -0/+23 | |
|\ | | | | | Fix #1812, Symbols.mapSymbols shouldn't replace denotations | |||||
| * | Add tests verifying that i1812 stays fixed. | Dmitry Petrashko | 2016-12-19 | 2 | -0/+23 | |
| | | ||||||
* | | Merge pull request #1821 from dotty-staging/fix-i1820 | odersky | 2016-12-20 | 4 | -0/+38 | |
|\ \ | | | | | | | Fix #1820: make sure outer of traits implemented | |||||
| * | | Fix #1820: condition of whether generates outer | liu fengyun | 2016-12-19 | 3 | -2/+22 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Previously, we don't generate `outer` for the anonymous class `new Inner2 {}`. This is incorrect, as `Inner2 {}` extends `A.Inner`, which requires an outer. trait A { val a = "a" trait Inner { def f = println(a) def h = 3 } } trait B extends A { trait Inner2 extends Inner new Inner2 {} } | |||||
| * | | fix #1820: make sure outer of traits implemented | liu fengyun | 2016-12-18 | 2 | -0/+18 | |
| | | | ||||||
* | | | Add neg test for multiversal eq Nullable fix | Felix Mulder | 2016-12-19 | 1 | -0/+7 | |
| | | | ||||||
* | | | Fix #1793: allow multiversal comparisons between Null and X | Felix Mulder | 2016-12-19 | 1 | -0/+7 | |
| | | | ||||||
* | | | Merge pull request #1822 from dotty-staging/fix-#1792 | odersky | 2016-12-18 | 1 | -0/+8 | |
|\ \ \ | | | | | | | | | Fix #1792: Allow newline in front of `{` for procedure syntax | |||||
| * | | | Fix #1792: Allow newline in front of `{` when supporting procedure syntax. | Martin Odersky | 2016-12-14 | 1 | -0/+8 | |
| | | | | ||||||
* | | | | Merge pull request #1775 from dotty-staging/add-implicit-funtypes | odersky | 2016-12-18 | 8 | -0/+588 | |
|\ \ \ \ | | | | | | | | | | | Add implicit function types | |||||
| * | | | | Drop Override flag for non-overriding direct methods | Martin Odersky | 2016-12-17 | 1 | -1/+5 | |
| | | | | | | | | | | | | | | | | | | | | Also, integrate Jason's test case with the conditional. | |||||
| * | | | | Fix typo | Martin Odersky | 2016-12-17 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Fix more types, add link | Martin Odersky | 2016-12-17 | 1 | -4/+4 | |
| | | | | | ||||||
| * | | | | Add linked to code | Martin Odersky | 2016-12-17 | 1 | -3/+5 | |
| | | | | | ||||||
| * | | | | Fix typos in results.md | Martin Odersky | 2016-12-17 | 1 | -4/+5 | |
| | | | | | ||||||
| * | | | | Add benchmarks | Martin Odersky | 2016-12-17 | 7 | -0/+324 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Benchmark code to compare compilation schemes in different scenarios. See results.md for explanations. | |||||
| * | | | | New ShortcutImplicits phase | Martin Odersky | 2016-12-17 | 1 | -0/+44 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Optimizes implicit closures by avoiding closure creation where possible. | |||||
| * | | | | More tests and starting a blog post | Martin Odersky | 2016-12-17 | 1 | -1/+118 | |
| | | | | | ||||||
| * | | | | Enrich test case | Martin Odersky | 2016-12-17 | 1 | -0/+41 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Run a typical dotty compiler scenario with implicit contexts. | |||||
| * | | | | Create implicit closures to math expected implicit functions | Martin Odersky | 2016-12-17 | 1 | -0/+23 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | When the expected type is an implicit function, create an implicit closure to match it. | |||||
| * | | | | Fix erasure of implicit functions | Martin Odersky | 2016-12-17 | 2 | -36/+32 | |
| | | | | | | | | | | | | | | | | | | | | and check at runtime that it works | |||||
| * | | | | Always insert apply for expressions of implicit function type | Martin Odersky | 2016-12-17 | 1 | -0/+6 | |
| | | | | | ||||||
| * | | | | Add syntax for implicit functions | Martin Odersky | 2016-12-17 | 1 | -0/+30 | |
| | | | | |