aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Fix #1750: Handle illegal class overrides betterMartin Odersky2017-01-296-9/+28
| |/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Illegal class overrides are fundamentally at odds with the way dotty represents types and therefore can cause lots of low-level problems. Two measures in this commit First, we detect direct illegal class overrides on completion instead of during RefChecks. Break the override by making the previously overriding type private. This fixes i1750.scala, but still fails for indirect overrides between two unrelated outer traits/classes that are inherited by the same class or trait. We fix this by catching the previously thrown ClassCastException in both ExtractAPI and RefChecks. Test case for indirect overrides is in i1750a.scala.
* | Merge pull request #1896 from dotty-staging/fix/bootstrapGuillaume Martres2017-01-281-0/+5
|\ \ | | | | | | Add sbt-based bootstrap
| * | Workaround #1895: Bringing a symbol to a new run is brokenGuillaume Martres2017-01-281-0/+5
| | |
* | | Merge pull request #1909 from dotty-staging/fix-1687Dmitry Petrashko2017-01-282-0/+29
|\ \ \ | |/ / |/| | Fix #1687: postpone computations in tailrec until they are needed.
| * | Test that #1687 is fixed.Dmitry Petrashko2017-01-222-0/+29
| | | | | | | | | | | | The b-test would compile for a millenia without the fix.
* | | Upgrade backend to fix Java interop for inner classesGuillaume Martres2017-01-271-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-1877Dmitry Petrashko2017-01-1110-0/+111
|\ \ | | | | | | Fix #1877: Add forwarders for primitive/generic mixins.
| * | Add PrimitiveForwarders and fix forwarding on value classes.Nicolas Stucki2017-01-114-0/+46
| | |
| * | Fix #1877: Add forwarders for primitive/generic mixins.Nicolas Stucki2017-01-066-0/+65
| |/
* | Merge pull request #1894 from dotty-staging/fix/inner-class-emissionGuillaume Martres2017-01-112-0/+17
|\ \ | | | | | | Partially fix Java interop for emitted inner classes
| * | Partially fix Java interop for emitted inner classesGuillaume Martres2017-01-112-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 constraintMartin Odersky2017-01-101-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 prunedJonathan Brachthäuser2017-01-081-1/+1
| |
* | Merge pull request #1887 from dotty-staging/fix-#1867Guillaume Martres2017-01-071-0/+3
|\ \ | |/ |/| Fix #1867: Set position of empty refined types
| * Fix #1867: Set position of empty refined typesMartin Odersky2017-01-041-0/+3
| |
* | Merge pull request #1873 from dotty-staging/fix-#1865odersky2017-01-051-0/+24
|\ \ | | | | | | Fix #1865: Compute outer path at right phase
| * | Address reviewer commentsMartin Odersky2017-01-041-0/+0
| | |
| * | Fix #1865: Compute outer path at right phaseMartin Odersky2017-01-031-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 Stucki2017-01-052-0/+24
| |
* | Merge pull request #1869 from dotty-staging/fix-#1868odersky2017-01-041-0/+7
|\ \ | | | | | | Fix #1868: Fix a logic error in a match
| * | Fix #1868 - Fix logic bug in matchMartin Odersky2017-01-021-0/+7
| |/
* / Add test caseMartin Odersky2017-01-031-0/+15
|/
* Merge pull request #1850 from dotty-staging/fix-#1845odersky2016-12-281-0/+3
|\ | | | | Fix #1845: Survive illegal this-type prefixes
| * Annotate other error line in testMartin Odersky2016-12-261-1/+1
| |
| * Add // error to neg testMartin Odersky2016-12-221-1/+1
| |
| * Fix #1845: Survive illegal this-type prefixesMartin Odersky2016-12-221-0/+3
| |
* | Move test into the right directoryMartin Odersky2016-12-261-0/+0
| |
* | Fix #1716: Don't allow wildcards as type arguments to methodsMartin Odersky2016-12-251-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-stdlibGuillaume Martres2016-12-211-0/+6
|\ \ | | | | | | Make more parts of stdlib compile
| * | Fix subtyping of hk types with wildcard argumentsMartin Odersky2016-12-201-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 asSeenFromMartin Odersky2016-12-211-0/+13
|/
* Merge pull request #1832 from dotty-staging/fix-1810odersky2016-12-202-0/+23
|\ | | | | Fix #1812, Symbols.mapSymbols shouldn't replace denotations
| * Add tests verifying that i1812 stays fixed.Dmitry Petrashko2016-12-192-0/+23
| |
* | Merge pull request #1821 from dotty-staging/fix-i1820odersky2016-12-204-0/+38
|\ \ | | | | | | Fix #1820: make sure outer of traits implemented
| * | Fix #1820: condition of whether generates outerliu fengyun2016-12-193-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 implementedliu fengyun2016-12-182-0/+18
| | |
* | | Add neg test for multiversal eq Nullable fixFelix Mulder2016-12-191-0/+7
| | |
* | | Fix #1793: allow multiversal comparisons between Null and XFelix Mulder2016-12-191-0/+7
| | |
* | | Merge pull request #1822 from dotty-staging/fix-#1792odersky2016-12-181-0/+8
|\ \ \ | | | | | | | | Fix #1792: Allow newline in front of `{` for procedure syntax
| * | | Fix #1792: Allow newline in front of `{` when supporting procedure syntax.Martin Odersky2016-12-141-0/+8
| | | |
* | | | Merge pull request #1775 from dotty-staging/add-implicit-funtypesodersky2016-12-188-0/+588
|\ \ \ \ | | | | | | | | | | Add implicit function types
| * | | | Drop Override flag for non-overriding direct methodsMartin Odersky2016-12-171-1/+5
| | | | | | | | | | | | | | | | | | | | Also, integrate Jason's test case with the conditional.
| * | | | Fix typoMartin Odersky2016-12-171-1/+1
| | | | |
| * | | | Fix more types, add linkMartin Odersky2016-12-171-4/+4
| | | | |
| * | | | Add linked to codeMartin Odersky2016-12-171-3/+5
| | | | |
| * | | | Fix typos in results.mdMartin Odersky2016-12-171-4/+5
| | | | |
| * | | | Add benchmarksMartin Odersky2016-12-177-0/+324
| | | | | | | | | | | | | | | | | | | | | | | | | Benchmark code to compare compilation schemes in different scenarios. See results.md for explanations.
| * | | | New ShortcutImplicits phaseMartin Odersky2016-12-171-0/+44
| | | | | | | | | | | | | | | | | | | | | | | | | Optimizes implicit closures by avoiding closure creation where possible.
| * | | | More tests and starting a blog postMartin Odersky2016-12-171-1/+118
| | | | |
| * | | | Enrich test caseMartin Odersky2016-12-171-0/+41
| | | | | | | | | | | | | | | | | | | | | | | | | Run a typical dotty compiler scenario with implicit contexts.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 01:27:37 +0000