Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make test more robust | Martin Odersky | 2016-11-11 | 1 | -1/+1 |
| | | | | | | Pick a less common name for the missing identifier. Depending on my classpath I sometimes got `x is not a package` as an additional error for this one. | ||||
* | Change `ClassicReporter` to `TestReporter` in test sources | Felix Mulder | 2016-11-09 | 46 | -409/+92 |
| | |||||
* | add the forgotten patmat test | liu fengyun | 2016-11-09 | 1 | -1/+1 |
| | |||||
* | Fixed #1672: Add regression test. | Nicolas Stucki | 2016-11-08 | 1 | -0/+7 |
| | | | | This issue was solved by some other fix. | ||||
* | Fix #1605: don't inline methods that have errors | Felix Mulder | 2016-11-07 | 1 | -0/+5 |
| | |||||
* | Merge pull request #1659 from dotty-staging/fix-#1640 | Felix Mulder | 2016-11-06 | 2 | -0/+12 |
|\ | | | | | Fix #1640: Avoid applications with untyped function parts | ||||
| * | Test case for #1641 | Martin Odersky | 2016-11-05 | 1 | -0/+8 |
| | | | | | | | | | | #1641 compiles under latest master. This test case is there to ensure it stays that way. | ||||
| * | Fix #1640: Avoid applications with untyped function parts | Martin Odersky | 2016-11-05 | 1 | -0/+4 |
| | | | | | | | | | | Avoid applications with untyped function parts even if program is erroneous. Taking the symbol fails for these applications, which can cause crashes. | ||||
* | | Disallow wildcard arguments in new | Martin Odersky | 2016-11-05 | 1 | -0/+19 |
|/ | | | | | | These might lead to bad bounds if unchecked. Scalac disallows them also, but with a confusing error message ("class type expected" on the class). | ||||
* | Merge pull request #1657 from dotty-staging/fix-#1638 | odersky | 2016-11-05 | 1 | -0/+3 |
|\ | | | | | Fix #1638: Don't import when typing a package clause | ||||
| * | Fix #1638: Don't import when typing a package clause | Martin Odersky | 2016-11-03 | 1 | -0/+3 |
| | | | | | | | | | | | | | | When typing the first identifier of a package clause, disable imports, as package clauses are never imported. Fixes #1638. | ||||
* | | Merge pull request #1655 from dotty-staging/change-future-defs-ok | odersky | 2016-11-05 | 1 | -0/+8 |
|\ \ | | | | | | | Fix #1637: Future defs are always OK | ||||
| * | | Fix #1637: Future defs are always OK | Martin Odersky | 2016-10-31 | 1 | -0/+8 |
| |/ | | | | | | | | | | | | | Drop special mode that handles future defs without which we get DenotationNotDefinedHere errors. In more than a year, this has only turned up false negatives. So I think it's better to drop the check, and the contortions needed to deal with it. | ||||
* | | Reclassified test | Martin Odersky | 2016-11-03 | 2 | -5/+5 |
| | | | | | | | | Should be a neg test now. | ||||
* | | Fix #1652: Make assertion more robust | Martin Odersky | 2016-11-03 | 1 | -0/+5 |
|/ | | | | | An assertion fired giving a false negative after a fuzzing test which introduced an ill-kinded type argument. | ||||
* | Merge pull request #1600 from dotty-staging/fix-#1500 | Guillaume Martres | 2016-10-25 | 1 | -0/+19 |
|\ | | | | | Fix-#1500 Include constraining type variables when interpolating | ||||
| * | Fix-#1500 Include constraining type variables when interpolating | Martin Odersky | 2016-10-15 | 1 | -0/+19 |
| | | | | | | | | Fixes #1500. Review by @smarter. | ||||
* | | Merge pull request #1599 from dotty-staging/fix-#1570 | Guillaume Martres | 2016-10-25 | 1 | -0/+4 |
|\ \ | | | | | | | Fix #1570: Allow inline parameters as inline args | ||||
| * | | Fix #1570: Allow inline parameters as inline args | Martin Odersky | 2016-10-14 | 1 | -0/+4 |
| |/ | | | | | | | | | | | | | Inline parameters can always be passed to other inline parameters. Fixes #1570. | ||||
* | | Test that #1614 remains fixed. | Dmitry Petrashko | 2016-10-23 | 1 | -0/+9 |
| | | |||||
* | | Fix #1286: Error on inexistent imports that are not used. | Nicolas Stucki | 2016-10-21 | 2 | -0/+26 |
| | | | | | | | | This commit also fixes #1583. | ||||
* | | Merge pull request #1594 from dotty-staging/fix-#1576 | Olivier Blanvillain | 2016-10-20 | 2 | -0/+8 |
|\ \ | | | | | | | Fix #1576: Parameters of Java annotations should be public | ||||
| * | | Fix #1576: Parameters of Java annotations should be public | Martin Odersky | 2016-10-13 | 2 | -0/+8 |
| | | | | | | | | | | | | | | | Parameters of annotation classes parsed by the Java parser should have public val parameters. Otherwise they cannot be accessed as fields. | ||||
* | | | Merge pull request #1595 from dotty-staging/fix-#1567 | odersky | 2016-10-20 | 2 | -0/+9 |
|\ \ \ | | | | | | | | | Fix #1567: Widen private constructor in value class | ||||
| * | | | Fix #1567: Widen private constructor in value class | Martin Odersky | 2016-10-14 | 2 | -0/+9 |
| |/ / | | | | | | | | | | | | | | | | | | | | | | Private or protected constructors of value classes need to be widenened to public in order to enable boxing anywhere. Technically we should also do something about qualified private constructors, but since we want to get rid of them anyway it's urgent. | ||||
* | | | Merge pull request #1592 from dotty-staging/fix-#1590 | odersky | 2016-10-16 | 1 | -0/+10 |
|\ \ \ | | | | | | | | | Fix #1590: Eliminate wildcards when approximating a type | ||||
| * | | | Refinement of interpolation direction | Martin Odersky | 2016-10-13 | 1 | -0/+9 |
| | | | | |||||
| * | | | Fix #1590: Eliminate wildcards when approximating a type | Martin Odersky | 2016-10-13 | 1 | -0/+1 |
| |/ / | | | | | | | | | | | | | Fixes #1590. Type variables should never be instantiated to types containing wildcards. | ||||
* | | | Merge pull request #1588 from dotty-staging/fix-#1502 | odersky | 2016-10-16 | 1 | -0/+4 |
|\ \ \ | | | | | | | | | Fix #1544: Allow long signatures in names | ||||
| * | | | Fix #1544: Allow long signatures in names | Martin Odersky | 2016-10-13 | 1 | -0/+4 |
| | | | | | | | | | | | | | | | | | | | | Fixes #1544 by making the length field use 1 or 2 bytes, depending on the number of parameters in a signature. | ||||
* | | | | Merge pull request #1597 from dotty-staging/fix-i1540 | odersky | 2016-10-14 | 2 | -0/+28 |
|\ \ \ \ | | | | | | | | | | | Fix #1540: overloaded get and isDefined in option-less patmat | ||||
| * | | | | add another test for i1540 | liu fengyun | 2016-10-14 | 1 | -0/+14 |
| | | | | | |||||
| * | | | | fix #1540: overloaded get and isDefined in option-less patmat | liu fengyun | 2016-10-14 | 1 | -0/+14 |
| | |_|/ | |/| | | |||||
* | | | | Merge pull request #1598 from dotty-staging/fix-#1515 | Guillaume Martres | 2016-10-14 | 1 | -0/+16 |
|\ \ \ \ | | | | | | | | | | | Fix #1515: Don't narrow gadt bounds when frozen | ||||
| * | | | | Fix #1515: Don't narrow gadt bounds when frozen | Martin Odersky | 2016-10-14 | 1 | -0/+16 |
| |/ / / | | | | | | | | | | | | | Fixes #1515. Review by @smarter. | ||||
* / / / | Fix #1531: Ignore private members when looking for abstract ones | Martin Odersky | 2016-10-14 | 1 | -0/+6 |
|/ / / | | | | | | | | | | | | | | | | | | | | | | Private members do not override abstract ones. So when looking for abstract members we need to search with `nonPrivateMember`, not `member`. Fixes #1531. Review by @smarter. | ||||
* | | | Merge pull request #1577 from dotty-staging/fix-1543-2 | odersky | 2016-10-13 | 2 | -0/+72 |
|\ \ \ | | | | | | | | | Fix #1543: Ignore IgnoredProto when normalizing method application. | ||||
| * | | | Fix #1543: Ignore IgnoredProto when normalizing method application. | Nicolas Stucki | 2016-10-11 | 2 | -0/+72 |
| | | | | |||||
* | | | | Fix erasure of "def foo[T]: Unit", do not box the return type | Guillaume Martres | 2016-10-13 | 1 | -0/+16 |
| |_|/ |/| | | |||||
* | | | Update tests to use new PolyType syntax. | Martin Odersky | 2016-10-12 | 7 | -20/+20 |
| | | | |||||
* | | | Use => instead of -> for PolyTypes | Martin Odersky | 2016-10-12 | 1 | -0/+9 |
| | | | | | | | | | | | | | | | | | | If PolyTypes are to become value types we want to keep `=>` as the arrow for consistency. `->` should be reserved for PolyTypes that do not have side effects on instantiation. | ||||
* | | | Harmonize PolyType and TypeLambda | Martin Odersky | 2016-10-12 | 1 | -0/+13 |
| | | | | | | | | | | | | | | | | | | Let them inherit the same traits and push as much functionality as possibly into the common superclass GenericType. | ||||
* | | | Add test case | Martin Odersky | 2016-10-11 | 1 | -0/+6 |
| | | | |||||
* | | | Drop dotty.language from Definitions | Martin Odersky | 2016-10-11 | 1 | -1/+0 |
| | | | |||||
* | | | Disallow singleton types in unions | Martin Odersky | 2016-10-11 | 1 | -0/+6 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | For the moment, we do not know how to handle something like 1 | 2 or x.type | y.type correctly. So it's better to disallow these situations until we find a proper solution. | ||||
* | | | Adapt tests | Martin Odersky | 2016-10-11 | 7 | -39/+39 |
|/ / | |||||
* | | Add Levenshtein distance for member values and types | Felix Mulder | 2016-10-10 | 1 | -0/+5 |
| | | |||||
* | | Improve positions for MemberDefs using `namePos` | Felix Mulder | 2016-10-10 | 7 | -16/+16 |
| | | |||||
* | | Handle multiline messages in ConsoleReporter | Felix Mulder | 2016-10-10 | 2 | -56/+50 |
| | | |||||
* | | Fix TypeMismatch not getting nonsensical tags in some cases | Felix Mulder | 2016-10-10 | 2 | -10/+10 |
| | | | | | | | | Thanks @smarter! |