aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Fixes to comments suggested by reviewerMartin Odersky2015-09-211-4/+4
| | | | Fixes suggested by @marter when reviewing previous hk PR.
* Eta expand $apply projected types if neededMartin Odersky2015-09-213-0/+625
| | | | | | | | | | | | | | | | It turns out that asSeenFrom can produce types that get projected with $apply but that are not higher-kinded. An exampple failure is in Iter3, andother in scala.collection.immutable.Map (which is now part of the test suite). We now detect that situation, and eta expand the projected type in `derivedSelect`, this will force a subssequent `lookupRefined` which will give the desired normalized type. Also added is a configurable test that checks that $apply projected tyeps are in fact higher-kinded.
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 22:04:08 +0000