aboutsummaryrefslogtreecommitdiff
path: root/tests/run
Commit message (Collapse)AuthorAgeFilesLines
* 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.
| * Tweaks to strawmanMartin Odersky2016-07-282-92/+112
| | | | | | | | | | | | | | - Add proper :: to lists - Move some methods to IterableOps in order to keep Iterable clean - Rename knownLength to knownSize - Add some implentations for performance and completeness
| * Make colltest6 self-containedMartin Odersky2016-07-272-1/+2
| | | | | | | | Following the other colltests, put each in a separate package.
| * Move test from pos to runMartin Odersky2016-07-271-0/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Test generated code before but fails with verify error at runtime. Here's the message: Exception in thread "main" java.lang.VerifyError: Bad type on operand stack Exception Details: Location: D$.<init>()V @2: invokedynamic Reason: Type uninitializedThis (current frame, stack[1]) is not assignable to 'D$' Current Frame: bci: @2 flags: { flagThisUninit } locals: { uninitializedThis } stack: { uninitializedThis, uninitializedThis } Bytecode: 0x0000000: 2a2a ba00 1f00 00b7 0022 2ab3 0024 b1 at Test$.main(t3048.scala:13) at Test.main(t3048.scala) With the fix in last commit, test causes backend to crash with java.lang.AssertionError: assertion failed: val <none> at scala.Predef$.assert(Predef.scala:165) at scala.tools.nsc.backend.jvm.BCodeHelpers$BCInnerClassGen$class.assertClassNotArray(BCodeHelpers.scala:214) at scala.tools.nsc.backend.jvm.BCodeHelpers$BCInnerClassGen$class.assertClassNotArrayNotPrimitive(BCodeHelpers.scala:219) at scala.tools.nsc.backend.jvm.BCodeHelpers$BCInnerClassGen$class.getClassBTypeAndRegisterInnerClass(BCodeHelpers.scala:238) at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.getClassBTypeAndRegisterInnerClass(BCodeSkelBuilder.scala:51) at scala.tools.nsc.backend.jvm.BCodeHelpers$BCInnerClassGen$class.internalName(BCodeHelpers.scala:210)
| * Fix problem related to cbn parameters in supercallsMartin Odersky2016-07-271-5/+5
| | | | | | | | | | | | | | | | | | | | | | The closures generated by elimByName did not get the InSuperCall flag set. This caused problems in lambda lift which led to a verify error for the new version CollectionStrawMan6. That version replaces explicit function parameters in class LazyList by by-name parameters. Also: Clarify logic for liftLocals in LambdaLift (liftLocals caused the immediate problem but was in the end not to blame).
| * Rename fromLikeIterable -> fromIterableWithSameElemTypeMartin Odersky2016-07-272-24/+24
| | | | | | | | Makes it clearer what it is. Also, fixed check file.
| * Improve dropMartin Odersky2016-07-271-10/+3
| | | | | | | | | | By making LinearSeq an IterableLike, we can use tail-recursion on drop.
| * Further extension with LazyListMartin Odersky2016-07-263-105/+594
| | | | | | | | | | Demonstrates how to integrate lazy non-view collections in the framework.
| * Add arrays to collection strawmanMartin Odersky2016-07-253-0/+912
| | | | | | | | | | This PR investigates what it takes to extend CollectionStrawMan5 to arrays.
* | Merge pull request #1115 from dotty-staging/ensure-bootstrapped-partestodersky2016-07-312-0/+16
|\ \ | | | | | | Ensure that partest runs bootstrapped Dotty.
| * | Add check fileMartin Odersky2016-07-281-0/+2
| | |
| * | Add test file.Martin Odersky2016-07-281-0/+14
| | |
* | | Fix #1423: Fix owners of called methods in CollectSuperCalls.Nicolas Stucki2016-07-292-0/+25
| | |
* | | Merge pull request #1410 from dotty-staging/fix-#1263Dmitry Petrashko2016-07-281-0/+34
|\ \ \ | |/ / |/| | Fix #1263: Suppress super initializer call for val parameters of traits.
| * | Extend test case to test variations of modifiers on trait parameters.Martin Odersky2016-07-251-0/+24
| | |
| * | Fix #1263: Suppress super initializer call for val parameters of traits.Martin Odersky2016-07-221-0/+10
| |/ | | | | | | | | | | | | Val-parameters of traits don't have an initializer, as other vals do. So we cannot call the initializer in an initialization sequence of a subclass. Fixes #1263.
* | Merge pull request #1289 from dotty-staging/fix/partest-separateGuillaume Martres2016-07-274-4/+6
|\ \ | | | | | | partest: Enable separate compilation
| * | Fix colltest4: ListBuffer[A]#fromIterable had an incorrect castFelix Mulder2016-07-271-1/+1
| | |
| * | Fix colltest5 test under separate compilationGuillaume Martres2016-07-274-3/+5
| |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This test failed before because strawman.collections.CollectionStrawMan5 is defined in two places: - src/strawman/collections/CollectionStrawMan5.scala - tests/run/colltest5/CollectionStrawMan5_1.scala The first will be compiled by scalac (unless the tests are run through a bootstrapped dotty) and the second will be compiled by dotty, the value class encoding of scalac and dotty are not binary compatible. This would not be a problem if we always used the `CollectionStrawMan5` coming from the partest output directory and ignored the one in the dotty sources, but which one gets picked depends on the classpath and whether compilation is joined or separate, see #1301. For now, it's safer and simpler to just avoid having tests which define a class that is also defined in the sources of dotty. Also, fix a bug in colltest4 where it was importing CollectionStrawMan5 instead of CollectionStrawMan4
* | Merge pull request #1415 from dotty-staging/fix-i1354odersky2016-07-272-0/+33
|\ \ | | | | | | fix #1354: improve type test of union types
| * | fix #1354: improve type test and typecast of union typesliu fengyun2016-07-262-0/+33
| |/
* / Fix #1284: Make classTag depend directly on erasureMartin Odersky2016-07-251-0/+8
|/ | | | | | In the end, a classTag reflects the erased version of a type. The only condition for its generation should be that the erasure is stable under possible instantiations.
* Merge pull request #1393 from dotty-staging/fix-#1386odersky2016-07-181-0/+4
|\ | | | | Fix #1386: Reduce double def errors
| * Refine disambiguation logic and add test case.Martin Odersky2016-07-151-0/+4
| |
* | Merge pull request #1389 from dotty-staging/fix-#1381odersky2016-07-182-0/+66
|\ \ | | | | | | Changes to overloading
| * | Make run tests for #1381.Nicolas Stucki2016-07-182-0/+66
| | |
* | | Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-151-0/+164
|\ \ \ | |/ / |/| | Add scala.Dynamic support.
| * | Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-071-0/+164
| | |
* | | Merge pull request #1368 from dotty-staging/skip-redundant-superclassesDmitry Petrashko2016-07-152-0/+38
|\ \ \ | |_|/ |/| | Skip redundant superclasses\supertraits.
| * | Fix #1209: Skip redundant superclasses\supertraits.Nicolas Stucki2016-07-132-0/+38
| |/
* / Fix erasure of Java Array[T]Martin Odersky2016-07-141-0/+6
|/ | | | Should be erased to Object[], not Object.
* Merge pull request #1315 from nicolasstucki/optimize-try-casesDmitry Petrashko2016-06-302-0/+159
|\ | | | | Fix #856: Handle try/catch cases as catch cases if possible.
| * Fix #856: Handle try/catch cases as catch cases if possible.Nicolas Stucki2016-06-282-0/+159
| | | | | | | | | | | | | | Previously they were all lifted into a match with the came cases. Now the first cases are handled directly by by the catch. If one of the cases can not be handled the old scheme is applied to to it and all subsequent cases.
* | partest: correct line numbers in run stack tracesGuillaume Martres2016-06-301-3/+3
|/ | | | | | | partest adds a warning in a comment at the beginning of source files that it copies, but this means that every line number displayed in a stack trace is offset by 6. We can workaround this by making the warning a single line with no newline at the end.
* Add tests that were used to reproduce issues with LazyVals.Dmitry Petrashko2016-06-072-0/+14
|
* Overloading resolution: prefer directly applicable methodsGuillaume Martres2016-06-032-0/+17
| | | | | | | | | | | If directly applicable alternatives exists, do not try other alternatives. The original motivation for this change was to reduce the number of searches for implicit views we do since some overloaded methods like `Int#+` are used a lot, but it turns out that this also makes more code compile (see `overload_directly_applicable.scala` for an example), this change does not seem to match what the specification says (it does not define a notion of "directly applicable") but it does match the behavior of scalac, and it seems useful in general.
* Merge pull request #1281 from dotty-staging/fix-lamda-liftodersky2016-05-271-0/+11
|\ | | | | Fixes to lambdalift that prevent memory leaks.
| * Fix deadlock in t5375 and similar tests.Dmitry Petrashko2016-05-261-0/+11
| | | | | | | | See t5375.scala for details.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-21 17:30:38 +0000