aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
* | 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!
* | Fix reporting of ErrorTypes in highlighted segmentsFelix Mulder2016-10-102-10/+10
| |
* | Make `typeDiff` aware of placeholder typesFelix Mulder2016-10-101-7/+7
| |
* | Refactor explanation interpolatorFelix Mulder2016-10-102-36/+33
| |
* | Remove duplication of console reportersFelix Mulder2016-10-102-56/+63
| |
* | Add modifiers to highlightingFelix Mulder2016-10-102-30/+30
|/
* Merge pull request #1492 from dotty-staging/add-inlineGuillaume Martres2016-10-0620-5/+456
|\ | | | | Implement inline
| * Add InlineBytecodeTests to check that inline really worksGuillaume Martres2016-10-051-7/+0
| |
| * Add test caseMartin Odersky2016-10-051-0/+7
| |
| * Address @smarter's review commentsMartin Odersky2016-10-021-2/+1
| |
| * Add check fileMartin Odersky2016-10-021-0/+137
| |
| * Handle inlining in inlining argumentsMartin Odersky2016-10-021-4/+8
| | | | | | | | | | | | | | | | We got unbound symbols before because a TreeTypeMap would copy a tree of an inline DefDef but would not adapt the inline body stored in the @inline annotation of the DefDef to point to the updated tree.
| * Inline function parametersMartin Odersky2016-10-021-1/+5
| | | | | | | | | | | | Add inline function parameters. The previous concept of inlineable closure is adapted to coincide with an inline function parameter.
| * Generalize checkInlineConformant to functionsMartin Odersky2016-10-021-0/+44
| | | | | | | | | | | | | | | | Pure expressions with function types now are considered conforming. Necessitated a change in TreeInfo to accept closures as pure expressions. Test case in inlineForeach
| * Don't drop inline closure bindings that are referred in the bodyMartin Odersky2016-10-021-0/+4
| | | | | | | | | | The body might still refer to an inline closure argument without fully applying it. In that case the binding may not be dropped.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 13:54:19 +0000