aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Move failing test to pending.Martin Odersky2015-09-181-3/+3
| | | | | | The original IterableSelfRec is not syntactically legal after the hk changes. I attempted to fix, but there's still a type error. Need to investigate whether this is a true error or a bug.
* Disallow wildcard arguments to higher-kinded types...Martin Odersky2015-09-182-1/+45
| | | | ...unless the HK type can be eta-reduced to a class type.
* Eta expand type arguments corresponding to lambdasMartin Odersky2015-09-181-2/+2
| | | | | In Namer, eta expand any type argument that corresponds to a higher-kinded type parameter. Also, check that all type parameter lists are fully applied.
* Fix #791 erasedLub of two AnyVals is Object.Dmitry Petrashko2015-09-171-0/+11
|
* New phase: ExplicitSelfMartin Odersky2015-09-172-0/+21
| | | | | Makes self types explicit, if this is needed to identify a member in a select. Fixes #789.
* Enable more tests that passDmitry Petrashko2015-09-1475-0/+0
|
* final-fields.scala: tes objects with constant final vals.Dmitry Petrashko2015-09-141-1/+4
|
* Add another testMartin Odersky2015-09-142-1/+6
| | | | | Check that calling a side effecting function returning a constant type does not get suppressed.
* Augment test fileMartin Odersky2015-09-141-0/+18
| | | | to test for propagation of constant types.
* Test behaviour of final vals.Dmitry Petrashko2015-09-142-0/+24
|
* Add testMartin Odersky2015-09-122-0/+74
| | | | Should have been added on final vals commit.
* Fix desugaring problemMartin Odersky2015-09-121-0/+565
| | | | Desugaring worked incorrectly when both context bounds and default parameters were present.
* Merge pull request #767 from dotty-staging/fix-#756-super-accessorsDmitry Petrashko2015-08-282-0/+16
|\ | | | | Fix #756 super accessors
| * Add missing negative test.Martin Odersky2015-08-211-0/+8
| |
| * Add test caseMartin Odersky2015-08-211-0/+8
| |
* | Merge pull request #770 from odersky/fix-repeatedDmitry Petrashko2015-08-241-0/+10
|\ \ | | | | | | Fix repeated
| * | Refine refOfDef top handle repeated parametersMartin Odersky2015-08-221-0/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | refOfDef is used in desugaring case classes, specifically the definition of an apply method. Here it is necessary to pass a vararg argument (x: _*) if the case class parameter is repeated. This functionality is now added to `refOfDef`. I verified that the other uses of `refOfDef` are compatible with this change. Fixes #768.
* | | Make it a syntactic criterion whether a literal is a legal typeMartin Odersky2015-08-241-0/+2
| | | | | | | | | | | | | | | Introduce a new non-terminal "SimpleLiteral". Only SimpleLiterals can be types.
* | | Test other forms of singleton types.Martin Odersky2015-08-231-2/+18
| | | | | | | | | | | | | | | Tested are now other numeric values, strings, booleans, which are all legal singleton types.
* | | Better error message for Null and 'sym singleton types.Martin Odersky2015-08-231-0/+4
| | | | | | | | | | | | | | | | | | Null and 'sym are not legal as singleton types because the underlying values are not stable. They are rejected now outright instead of issuing a cryptic "X is not stable" error message.
* | | Update neg testMartin Odersky2015-08-231-1/+0
| | | | | | | | | | | | It's decided that constant types and purity are independent.
* | | Tests of functionality.Martin Odersky2015-08-232-0/+46
|/ / | | | | | | | | | | As the comment in pos/singletons.scala says, we currently test only constant propagation during typer. We should also have a test that literalize produces the literals in the right places.
* | Merge pull request #764 from dotty-staging/mixin/forwardersodersky2015-08-221-0/+14
|\ \ | | | | | | Mixin: class defined abstract members take precedence over interface defined.
| * | Test that forwarders are correctly created.Dmitry Petrashko2015-08-211-0/+14
| |/
* / Test that fields are correctly set before super constructor is called.Dmitry Petrashko2015-08-211-0/+12
|/
* Merge pull request #758 from ↵Dmitry Petrashko2015-08-201-1/+11
|\ | | | | | | | | dotty-staging/fix-liftedTry-capturedVars-interaction Fix lift try and captured vars interaction
| * Add a local val to lifted try to make sure owners are still legal.Martin Odersky2015-08-151-1/+1
| | | | | | | | | | Checks the hypothesis that lifting a try may safely move expressions into a ValDef owned by a new temp var.
| * Fix CaputuredVars/LiftTry interaction.Martin Odersky2015-08-151-1/+11
| | | | | | | | | | | | CapturedVars introduced an assignment that could cause a try to be executed with a non-empty stack, even after LiftTry had already run. We now avoid this by introducing a temporary variable.
* | Merge pull request #760 from dotty-staging/mixin-fixesodersky2015-08-201-0/+23
|\ \ | | | | | | Fixes to scala2 Mixin
| * | test #760Dmitry Petrashko2015-08-171-0/+23
| |/
* / Test that partial functions are handled correctly.Dmitry Petrashko2015-08-171-0/+10
|/
* GetClass: get classSymbol reliablyDmitry Petrashko2015-08-131-1/+2
| | | | TermRefs do not have a classSymbol.
* Revert "Workaround #742 and add a test for it."Martin Odersky2015-08-051-7/+0
| | | | This reverts commit a43d39ad719978fbb36663f336c1c7cd2c4da1e0.
* Add LiftTry phaseMartin Odersky2015-08-052-0/+28
| | | | | Phase lifts tries that would be illegal because they execute on non-empty expression stacks.
* Implement non-local returnsMartin Odersky2015-08-041-0/+32
| | | | Non-local returns are now implemented.
* Merge pull request #735 from dotty-staging/ycheck-methodsodersky2015-08-04100-4/+23
|\ | | | | Ycheck that methods defined in ClassInfo exist in tree.
| * Fix #744Dmitry Petrashko2015-07-282-0/+9
| | | | | | | | Mixi was not calling transformFollowing on generated setters.
| * Add a test for #743 to pending.Dmitry Petrashko2015-07-281-0/+6
| |
| * Workaround #742 and add a test for it.Dmitry Petrashko2015-07-281-0/+7
| | | | | | | | | | Making a correct fix could take some time, and I want to find other issues before I start working on this one.
| * Remove warning from .check file that is not emitted by DottyDmitry Petrashko2015-07-141-3/+0
| |
| * Enable 61 tests that succeed.Dmitry Petrashko2015-07-1395-0/+0
| |
| * Fix ClassCastException in patmat when using Product1.Dmitry Petrashko2015-07-131-1/+1
| |
* | Implement getClass methodAlexander Myltsev2015-07-252-0/+67
| |
* | Prettify console output of classof check testAlexander Myltsev2015-07-232-4/+7
| |
* | Merge pull request #719 from dotty-staging/fix/doubledefsDmitry Petrashko2015-07-201-0/+6
|\ \ | | | | | | Avoid crashes on double definitions
| * | Add test caseMartin Odersky2015-07-091-0/+6
| | |
* | | Merge pull request #727 from dotty-staging/genbcode-annotationsDmitry Petrashko2015-07-151-0/+0
|\ \ \ | | | | | | | | Implement emission of annotations in GenBCode.
| * | | Implement emotion of annotations in GenBCode.Dmitry Petrashko2015-07-141-0/+0
| | |/ | |/| | | | | | | Fixes #688
* | | Merge pull request #714 from smarter/add/vc-inline-before-erasureDmitry Petrashko2015-07-151-0/+37
|\ \ \ | | | | | | | | Move the inlining of value class methods before Erasure
| * | | Move the inlining of value class methods before ErasureGuillaume Martres2015-07-071-0/+37
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | VCInline is split into two phases: - VCInlineMethods (before Erasure) replaces value class method calls by calls to extension methods - VCElideAllocations (after Erasure) handles == and optimizing the unboxing of a boxed value class, as VCInline did before. This should not affect anything currently, but in the future we will have phases before Erasure that mangle names (like TypeSpecializer, see #630), being able to put these phases after VCInlineMethods means that VCInlineMethods does not need to know anything about how these phases mangle names, this reduces the coupling between phases. The trade-off is that VCInlineMethods needs to deal with type parameters and multiple parameter lists whereas VCInline didn't.
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-02 13:31:45 +0000