aboutsummaryrefslogtreecommitdiff
path: root/tests/run
Commit message (Collapse)AuthorAgeFilesLines
* Create dotty-lib.jar for run testsFelix Mulder2016-11-225-65/+0
|
* 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
| |
* | Adapt testsMartin Odersky2016-10-113-12/+6
|/
* 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.
* Always use implicit context at the current periodMartin Odersky2016-10-021-5/+4
| | | | | | | | | | | | | | | An implicit method might be unpickled in one run and the implicit body might be selected first in a subsequent run. In that case the inlined code was read with the original context, but that context needs to run at the current period. This resulted in denotation out of date errors in bringForward. Another problem with this design was space leaks: An context might survive multiple runs as part of an ImplicitInfo of an unpickled method. The new design avoids both problems. Implicit contexts are always up to date and leaks are avoided.
* Fix problem related to accessor generation under separate compilationMartin Odersky2016-10-022-0/+14
| | | | | | | Accessors were multiply generated under separate compilation. To fix this, the resident body of an inlined function is now the same as the inlined body. Both use accessors where necessary. Previously, only the inlined body used accessors.
* Make inline a keywordMartin Odersky2016-10-025-43/+16
| | | | | | | `inline` is now a modifier keyword. To keep disruption tolerable, we still allow `@inline` as an annotation as well. Other uses of `inline` are supported only under `-language:Scala2` and are rewritten to identifiers in backticks.
* More inline testsMartin Odersky2016-10-023-0/+84
|
* Make inline annotation @scala.inline.Martin Odersky2016-10-023-9/+9
| | | | | | | | | | | | | | | | | | Drop @dotty.annotation.inline. This will inline all @inline marked methods in Scala for which a body is known (i.e. that are either compiled in the same run or have Tasty trees available). Option -Yno-inline suppresses inlining. This is needed for the moment because some @inline methods access private members or members that are otherwise inaccessible at the call-site. Also fixes some problems in Inliner - make sure type arguments to inline calls re fully defined - don't forget recursive calls in typeMap - don't forget positions in treeMap - drop dead code dealing with outer.
* Test case for closure inliningMartin Odersky2016-10-021-0/+18
| | | | | This test works, but closures are not currently inlined. That's a still to do.
* Update check fileMartin Odersky2016-10-021-0/+5
|
* Add test for pattern matching against outerMartin Odersky2016-10-022-0/+20
|
* Handle outer this in InlinerMartin Odersky2016-10-022-2/+6
| | | | Also, do some refactorings and fix some bugs in Inliner.
* Remove redundanr testMartin Odersky2016-10-021-17/+0
| | | | Same test with separate compilation is in inlinePower
* Add check filesMartin Odersky2016-10-022-0/+6
|
* Support separate compilationMartin Odersky2016-10-024-15/+42
| | | | | Inline trees can now be read form TASTY. However, positions are not set correctly. This remains to be implemented.
* Recursive inlining testsMartin Odersky2016-10-021-0/+17
| | | | | pos/power inlines with alomst no extraneous boilerplate. neg/power gives an error that maximal numbers of inlines was exceeded.
* Add Inlined tree nodeMartin Odersky2016-10-021-2/+4
| | | | | | | | | ... to tag inlined calls. Perform typings and transformations of inlined calls in a context that refers to the INlined node in its InlinedCall property. The idea is that we can use this to issue better error positions. This remains to be implemented.
* First version of inline schemeMartin Odersky2016-10-021-0/+53
| | | | | To be done: outer accessors To be done: error positions
* Fix #1503 - be careful where to insert an apply.Martin Odersky2016-09-172-0/+43
| | | | | | `apply` nodes should not be inserted in the result parts of a block, if-then-else, match, or try. Instead they should be added to the surrounding statement.
* Merge pull request #1469 from dotty-staging/fix-scala.Dynamicodersky2016-09-1621-0/+336
|\ | | | | Fixes for scala.Dynamic
| * Enable scala.Dynamic pending/untried tests.Nicolas Stucki2016-09-0512-0/+170
| |
| * Fix #1474: Fix applies to applyDynamic.Nicolas Stucki2016-09-055-0/+111
| |
| * Fix #1470: Fix dynamic selection in presence of inaccessible members.Nicolas Stucki2016-09-053-0/+14
| |
| * Fix #1468: Add type parameter support for scala.DynamicNicolas Stucki2016-09-051-0/+41
| |
* | Move t1335 test from /pos to /runOlivier Blanvillain2016-09-151-0/+11
| |
* | Add missing check file.Martin Odersky2016-09-141-0/+2
| |
* | Fix test syntax to make it dotty compatibleMartin Odersky2016-09-141-2/+2
| |
* | Add some run testsMartin Odersky2016-09-146-0/+160
| |
* | Partially fix #1500: Implicit search breaks at a certain depthOlivier Blanvillain2016-09-132-0/+40
|/ | | | | | The issue fixed here was introduced by 71027f15. The added `csyms.isEmpty` condition on `case nil =>` is always true, which is clearely a bug. t1500c still fails with covariant (or contravariant) type parameters on `::`, but this seams to be a more complicated issue involving the typer.
* Fix #1490: type test of union types via type aliasliu fengyun2016-09-012-0/+16
|
* Move tests to right directoryMartin Odersky2016-08-262-11/+0
|
* Fix #1444: Add implicit arguments to supertraitsMartin Odersky2016-08-201-3/+0
| | | | | | | | If a super trait is given as a type (i.e. no argument list), implicit args were not passed. This is fixed now. Also, we now check for parameterized traits lacking type arguments in Typer instead of in Mixin. Fixes #1444.
* Merge pull request #1452 from dotty-staging/fix-#1432Guillaume Martres2016-08-172-0/+13
|\ | | | | Fix desugaring of Bind(WILDCARD, _).
| * Fix #1432: Fix desugaring of Bind(WILDCARD, _).Nicolas Stucki2016-08-152-0/+13
| |
* | Fix eta expansion for deeply curried methodsMartin Odersky2016-08-171-0/+112
| | | | | | | | | | | | Eta expansion yielded incorrect result if the eta expanded method has more than one parameter sections and the expected result type is a unary function type. In that case a postfix `_' needs to be appended.
* | Merge pull request #1445 from dotty-staging/fix-#1442Dmitry Petrashko2016-08-151-1/+1
|\ \ | |/ |/| Fix #1442: add new phase, SelectStatic
| * t4859: update the check file.Dmitry Petrashko2016-08-091-1/+1
| | | | | | | | | | | | | | The new behaviour is more reasonable. Now the module if forced consistently in both examples. Note that this is deviation from behaviour of scalac.
* | Merge pull request #1414 from dotty-staging/add-array-strawmanodersky2016-08-144-0/+1497
|\ \ | |/ |/| Add arrays to collection strawman
| * Add missing importMartin Odersky2016-07-311-0/+1
| |
| * Fix problem with IndexedView.iterator.lengthMartin Odersky2016-07-311-4/+3
| |
| * More systematic treatement of IndexedViewMartin Odersky2016-07-301-26/+61
| | | | | | | | | | Followinf @szeiger's suggestion, equip IndexView with optimized operations for map/drop/take.
| * Drop on LinearSeq needs to return collection of same type as it was called on.Martin Odersky2016-07-291-8/+38
| | | | | | | | This is achieved by putting it into a new trait, LinearSeqLike.
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 00:58:43 +0000