aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* support running java-interop testsOndrej Lhotak2014-11-2210-1/+1
|
* Testcase that shows bug in ElimRepeated.Dmitry Petrashko2014-11-221-0/+3
|
* Add the right constructor to Java annotationsMartin Odersky2014-11-221-0/+11
|
* Add tests for the overriding of typesGuillaume Martres2014-11-182-0/+20
| | | | These tests work correctly since 222e9a478f7b851582550973df6a9d141766e49a
* Merge pull request #228 from dotty-staging/fix/overridingodersky2014-11-186-4/+92
|\ | | | | Fix/overriding
| * Check that overriding members refine the types of overridden ones.Martin Odersky2014-11-181-0/+11
| | | | | | | | | | Somehow this was lost in porting (or was this done somewhere else in scalac?).
| * Fix OverridingPairsMartin Odersky2014-11-146-4/+81
| | | | | | | | | | | | | | | | OverridingPairs had several bugs which caused pairs to be lost, which caused missing overrides checks. Fixing OverridingPairs revealed several test failures (and a problem in Synthetics generation which was fixed in the last commit). Tests that became negative are all moved into neg/overrides.scala, and the original versions in pos were fixed.
* | Merge pull request #230 from dotty-staging/fix/and-or-subtypingodersky2014-11-181-0/+13
|\ \ | | | | | | Try to avoid overconstraining when comparing and/or types
| * | Fixed typosMartin Odersky2014-11-181-3/+0
| | |
| * | Restored accidentally deleted test code.Martin Odersky2014-11-181-0/+6
| | |
| * | Try to avoid overconstraining when comparing and/or typesMartin Odersky2014-11-162-17/+15
| |/ | | | | | | | | See comments in eitherIsSubType for an explanation what the problem is. Some test cases are in subtyping.scala
* / Moved pending tests that work into pos and neg.Martin Odersky2014-11-179-34/+0
|/ | | | | | | One test (t2613) required lifting a hard recursion limit in findMember (used for debug only, will be removed in the future). The same test also requires -Yno-deep-subtypes to be reset, so it's in pos_special instead of pos.
* Fixes problem exhibited by ensuring.scalaMartin Odersky2014-11-131-0/+0
| | | | | Need to account for the possibility that function arguments are wrapped in braces.
* Fix subtyping checks involving ThisType and PolyParamGuillaume Martres2014-11-111-0/+6
|
* Merge pull request #217 from dotty-staging/transform/mixinDmitry Petrashko2014-11-102-3/+3
|\ | | | | Transform/mixin
| * Adding test for Unit vars.Martin Odersky2014-11-091-1/+1
| |
| * Improved version of mixin.Martin Odersky2014-11-091-2/+2
| | | | | | | | | | Now also handles all supercalls. Seems to do the right thing on pos/traits.scala. But does not pass most tests because the sym transformer forces too many things.
* | Merge pull request #207 from dotty-staging/transform/privateToStaticodersky2014-11-093-0/+97
|\| | | | | Transform/private to static
| * New phase: PrivateToStaticMartin Odersky2014-11-093-0/+97
| | | | | | | | | | Make private methods in traits static, so that we do not need to give a default for them.
* | Detect cycles involving types bounded by singleton typesGuillaume Martres2014-11-061-0/+25
|/ | | | This fixes #193.
* Merge pull request #180 from smarter/fix/nosymbol-subtypingodersky2014-11-061-4/+5
|\ | | | | Fix subtyping of types without symbols
| * Fix subtyping of types without symbolsGuillaume Martres2014-10-091-1/+5
| |
| * Simplify subtying testGuillaume Martres2014-10-091-4/+1
| |
* | Merge commits '474b2ae' and '46eb5ea' from #201 into umasterDmitry Petrashko2014-11-031-0/+15
|\ \
| * | Added a test for by name functionsMartin Odersky2014-10-281-0/+15
| | |
* | | Typer should leave inline exception handlers inline.Dmitry Petrashko2014-10-301-2/+8
| | |
* | | TailRec now handles Try with Ident-handlerDmitry Petrashko2014-10-301-0/+14
|/ /
* | LambdaLift checks now explicitly for references to labels outside scope.Martin Odersky2014-10-261-0/+0
| | | | | | | | | | Nested methods cannot refer to labels in theior environment. Needs a fix in TailCalls. Moved failing test to pending.
* | Avoid hoisting local classesMartin Odersky2014-10-264-5/+31
| | | | | | | | | | | | | | | | | | | | | | | | The patch disables hoisting of classes local to a block into the result type of the block. Instead, we widen the result type of the block to one which reflects all refinements made to the parents type of the local class. Test cases in avoid.scala, t1569.scala. The original t1569.scala no longer works. Why is explained in neg/t1569-failedAvoid.scala
* | Test for patmat action on a @ Bind(_, Typed(_: Unapply, _)Dmitry Petrashko2014-10-141-0/+3
| |
* | Disambiguate names in test caseMartin Odersky2014-10-131-3/+3
| |
* | New testsMartin Odersky2014-10-1210-0/+179
| |
* | Move private fields into constructorMartin Odersky2014-10-112-0/+86
| | | | | | | | | | | | | | Private fields that are accessed only from the constructor, and are accessed only after they are properly initialized are now moved into the constructor. This avoids creating a redundant objetc field. Good example: gcd in Rationals (see constrs.scala).
* | Fix handling of type params in secondary constructorsMartin Odersky2014-10-112-25/+47
| | | | | | | | | | | | | | | | | | Params are already added by Desugar. No special treatment needed here. Besides primaryConstructor.typeParams is always empty, because term symbols do not have type parameters. The fix turns t2660.scala into an error. I believe the error is correct, hence the test was moved with a comment to neg.
* | Merge pull request #174 from dotty-staging/rebDmitry Petrashko2014-10-1125-55/+309
|\ \ | |/ |/| Pattern matcher
| * Cleanup patmat based on feedbackDmitry Petrashko2014-10-111-0/+1
| | | | | | | | from pr #174.
| * Enable outer tests in pattern matcher.Dmitry Petrashko2014-10-111-0/+12
| | | | | | | | And a test for this.
| * Bring back test removed between merges.Dmitry Petrashko2014-10-111-0/+12
| |
| * Make changeOwner more robust regarding non-standard owner chainsMartin Odersky2014-10-111-12/+0
| | | | | | | | | | | | | | | | | | | | | | The problem is running changeOwner(from, to) where - from is a ValDef or a Label - an embedded definition has as owner not `from` but some owner of `from`. We allow such denomrlaized owners and the pattern matcher generates them. This patch makes changeOwner take these situations into account.
| * Fix #167Martin Odersky2014-10-111-0/+12
| | | | | | | | Can handle now vararg arguments in patterns.
| * Fix problem in unapply typing.Martin Odersky2014-09-231-0/+21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | GADT bound resetting may only be applied when comparing <pattern type> <: <expected type>, not when comparing the other way around. The fix revealed an error in a test case (t1048) which looks like a real error. Therefore the test got moved to neg. Conflicts: src/dotty/tools/dotc/typer/Applications.scala test/dotc/tests.scala tests/disabled/t1048.scala
| * Renamed parameters in Typer&Applictaions.Dmitry Petrashko2014-09-231-29/+0
| | | | | | | | Indicating that pt is type of selector is this pattern match makes it easier to follow.
| * Disabling patmat tests failing due to typer.Dmitry Petrashko2014-09-231-0/+29
| |
| * All pat-mat specific tests succeed now.Dmitry Petrashko2014-09-171-0/+0
| | | | | | | | | | Except t1048 which infers incorrect type in typer, patmat creates a tree that computes a more precise one that fails to typecheck Disabling erasure due to dozens of "Type BLA is illegal after erasure" errors.
| * More complicated tests for patmatDmitry Petrashko2014-09-171-12/+30
| |
| * Several fixes to patmat.Dmitry Petrashko2014-09-171-12/+12
| | | | | | | | Now patmat passes tests but erasure fails.
| * More complicated patterns.Dmitry Petrashko2014-09-171-0/+24
| |
| * New phase: CapturedVarsMartin Odersky2014-09-121-0/+25
| | | | | | | | Breaks out boxing functionality of captured vars from lambda lift.
| * Handle return in tailcalls.Martin Odersky2014-09-121-0/+5
| | | | | | | | | | Avoids characterizing the "from" link in a return as a tail call reference.
| * Better tests and more fixes for ExplicitOuterMartin Odersky2014-09-061-0/+14
| | | | | | | | | | | | Now also testing that after erasure no outer this exists. Tests suit now includes calls to local classes and methods which need an outer pointer, as well as passing an outer pointer along a secondary constructor.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 03:53:39 +0000