aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #820 from dotty-staging/add-collection-strawmanodersky2015-10-062-0/+238
|\ | | | | Add collection strawman #1
| * Rename collectAs -> toMartin Odersky2015-10-061-14/+14
| |
| * Tweaks to conform with API set out in #818.Martin Odersky2015-10-061-14/+14
| |
| * Bugfixes and move CollectionStrawMan1 into the correct directory.Martin Odersky2015-10-061-10/+10
| |
| * Add ArrayBuffer as another Seq class. Make iterators inspectable.Martin Odersky2015-10-062-0/+19
| |
| * Add collection strawman and its testsMartin Odersky2015-10-062-0/+219
| | | | | | | | This compiles only after the changes in this branch.
* | Merge pull request #805 from dotty-staging/change-freeze-boundsodersky2015-10-062-0/+245
|\| | | | | Change : freeze bounds
| * Move failing test to pendingMartin Odersky2015-10-011-0/+0
| | | | | | | | | | | | | | | | | | | | There is a diff, but a minor one. Instead of (T? >: Int <: Int) we get (T? = Int) after pickling.
| * Add test caseMartin Odersky2015-10-011-0/+245
| | | | | | | | | | Iter2.scala fails with 6 errors, but succeeds once lubs and glbs do not try to unify under invariant type constructors.
* | Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTimeodersky2015-10-021-0/+9
|\ \ | |/ |/| fix compiling ScalaRunTime.scala
| * add a test for a pattern match with ignored type paramSarunas Valaskevicius2015-09-251-0/+9
| |
* | Move test to posMartin Odersky2015-09-291-0/+0
| | | | | | | | | | A test that checked for errors on overloading now succeeds with the new rules.
* | Matching denotations should take infos into accountMartin Odersky2015-09-291-2/+2
|/ | | | | | | | Whenchecking whether two denotations match it is not enough to look at the signatures. The signatures might match (on the parameters) but the actual parametre types might be different. The change always tests infos after signatures, effectively turning the signature test into a pre-filter.
* 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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-18 19:04:18 +0000