aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Make test more robustMartin Odersky2016-11-111-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 sourcesFelix Mulder2016-11-0946-409/+92
|
* add the forgotten patmat testliu fengyun2016-11-091-1/+1
|
* Fixed #1672: Add regression test.Nicolas Stucki2016-11-081-0/+7
| | | | This issue was solved by some other fix.
* Fix #1605: don't inline methods that have errorsFelix Mulder2016-11-071-0/+5
|
* Merge pull request #1659 from dotty-staging/fix-#1640Felix Mulder2016-11-062-0/+12
|\ | | | | Fix #1640: Avoid applications with untyped function parts
| * Test case for #1641Martin Odersky2016-11-051-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 partsMartin Odersky2016-11-051-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 newMartin Odersky2016-11-051-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-#1638odersky2016-11-051-0/+3
|\ | | | | Fix #1638: Don't import when typing a package clause
| * Fix #1638: Don't import when typing a package clauseMartin Odersky2016-11-031-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-okodersky2016-11-051-0/+8
|\ \ | | | | | | Fix #1637: Future defs are always OK
| * | Fix #1637: Future defs are always OKMartin Odersky2016-10-311-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 testMartin Odersky2016-11-032-5/+5
| | | | | | | | Should be a neg test now.
* | Fix #1652: Make assertion more robustMartin Odersky2016-11-031-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-#1500Guillaume Martres2016-10-251-0/+19
|\ | | | | Fix-#1500 Include constraining type variables when interpolating
| * Fix-#1500 Include constraining type variables when interpolatingMartin Odersky2016-10-151-0/+19
| | | | | | | | Fixes #1500. Review by @smarter.
* | Merge pull request #1599 from dotty-staging/fix-#1570Guillaume Martres2016-10-251-0/+4
|\ \ | | | | | | Fix #1570: Allow inline parameters as inline args
| * | Fix #1570: Allow inline parameters as inline argsMartin Odersky2016-10-141-0/+4
| |/ | | | | | | | | | | | | Inline parameters can always be passed to other inline parameters. Fixes #1570.
* | Test that #1614 remains fixed.Dmitry Petrashko2016-10-231-0/+9
| |
* | Fix #1286: Error on inexistent imports that are not used.Nicolas Stucki2016-10-212-0/+26
| | | | | | | | This commit also fixes #1583.
* | Merge pull request #1594 from dotty-staging/fix-#1576Olivier Blanvillain2016-10-202-0/+8
|\ \ | | | | | | Fix #1576: Parameters of Java annotations should be public
| * | Fix #1576: Parameters of Java annotations should be publicMartin Odersky2016-10-132-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-#1567odersky2016-10-202-0/+9
|\ \ \ | | | | | | | | Fix #1567: Widen private constructor in value class
| * | | Fix #1567: Widen private constructor in value classMartin Odersky2016-10-142-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-#1590odersky2016-10-161-0/+10
|\ \ \ | | | | | | | | Fix #1590: Eliminate wildcards when approximating a type
| * | | Refinement of interpolation directionMartin Odersky2016-10-131-0/+9
| | | |
| * | | Fix #1590: Eliminate wildcards when approximating a typeMartin Odersky2016-10-131-0/+1
| |/ / | | | | | | | | | | | | Fixes #1590. Type variables should never be instantiated to types containing wildcards.
* | | Merge pull request #1588 from dotty-staging/fix-#1502odersky2016-10-161-0/+4
|\ \ \ | | | | | | | | Fix #1544: Allow long signatures in names
| * | | Fix #1544: Allow long signatures in namesMartin Odersky2016-10-131-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-i1540odersky2016-10-142-0/+28
|\ \ \ \ | | | | | | | | | | Fix #1540: overloaded get and isDefined in option-less patmat
| * | | | add another test for i1540liu fengyun2016-10-141-0/+14
| | | | |
| * | | | fix #1540: overloaded get and isDefined in option-less patmatliu fengyun2016-10-141-0/+14
| | |_|/ | |/| |
* | | | Merge pull request #1598 from dotty-staging/fix-#1515Guillaume Martres2016-10-141-0/+16
|\ \ \ \ | | | | | | | | | | Fix #1515: Don't narrow gadt bounds when frozen
| * | | | Fix #1515: Don't narrow gadt bounds when frozenMartin Odersky2016-10-141-0/+16
| |/ / / | | | | | | | | | | | | Fixes #1515. Review by @smarter.
* / / / Fix #1531: Ignore private members when looking for abstract onesMartin Odersky2016-10-141-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-2odersky2016-10-132-0/+72
|\ \ \ | | | | | | | | Fix #1543: Ignore IgnoredProto when normalizing method application.
| * | | Fix #1543: Ignore IgnoredProto when normalizing method application.Nicolas Stucki2016-10-112-0/+72
| | | |
* | | | Fix erasure of "def foo[T]: Unit", do not box the return typeGuillaume Martres2016-10-131-0/+16
| |_|/ |/| |
* | | Update tests to use new PolyType syntax.Martin Odersky2016-10-127-20/+20
| | |
* | | Use => instead of -> for PolyTypesMartin Odersky2016-10-121-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 TypeLambdaMartin Odersky2016-10-121-0/+13
| | | | | | | | | | | | | | | | | | Let them inherit the same traits and push as much functionality as possibly into the common superclass GenericType.
* | | Add test caseMartin Odersky2016-10-111-0/+6
| | |
* | | Drop dotty.language from DefinitionsMartin Odersky2016-10-111-1/+0
| | |
* | | Disallow singleton types in unionsMartin Odersky2016-10-111-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 testsMartin Odersky2016-10-117-39/+39
|/ /
* | Add Levenshtein distance for member values and typesFelix Mulder2016-10-101-0/+5
| |
* | Improve positions for MemberDefs using `namePos`Felix Mulder2016-10-107-16/+16
| |
* | Handle multiline messages in ConsoleReporterFelix Mulder2016-10-102-56/+50
| |
* | Fix TypeMismatch not getting nonsensical tags in some casesFelix Mulder2016-10-102-10/+10
| | | | | | | | Thanks @smarter!
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-11 10:16:49 +0000