aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Move leak detection to CheckingMartin Odersky2016-02-191-0/+2
| | | | Also: include a test that private aliases are transparent.
* Add checking for leaking private definitionsMartin Odersky2016-02-191-0/+45
| | | | First version. Fixes #997.
* Copy access flags to derived definitions during desugaringMartin Odersky2016-02-191-0/+19
| | | | Previously, some definitions were too public, others too private.
* Merge pull request #1106 from dotty-staging/neg-linesDmitry Petrashko2016-02-1949-140/+141
|\ | | | | Neg tests check files for // error markers (rebased and updated)
| * Neg tests: remove // error from pos testsVladimirNik2016-02-192-2/+2
| |
| * Adapt neg tests to new neg tests checksVladimirNik2016-02-1818-56/+56
| |
| * Negtests with // error commentsvsalvis2016-02-1837-99/+100
| |
* | Merge pull request #1107 from dotty-staging/fix/wildApprox-lazyrefodersky2016-02-191-0/+5
|\ \ | | | | | | ProtoTypes#wildApprox: fix LazyRef approximation
| * | ProtoTypes#wildApprox: fix LazyRef approximationGuillaume Martres2016-02-181-0/+5
| |/ | | | | | | | | | | | | | | | | | | | | | | Before this commit, the output of `wildApprox(A)` where `A <: Sys[LazyRef(A)]` was `? <: Sys[LazyRef(() => wildApprox(A))]`. This lead to infinite subtyping checks. This is fixed by always approximating a LazyRef by an unbounded wildcard. Since we only create LazyRefs when we encounter a cycle, this should be safe. Fix #1103.
* | Merge pull request #898 from dotty-staging/add/auto-uncurryodersky2016-02-183-0/+46
|\ \ | |/ |/| Implement auto tupling of function arguments
| * Fix pos testMartin Odersky2016-02-161-1/+1
| | | | | | | | Former test no longer allowed after conforms/compatible change.
| * Untuple using `def` not `val`.Martin Odersky2016-02-161-0/+8
| | | | | | | | As retronym noted on #897, `val` forces to early.
| * Strengthen requirement for auto-tuplingMartin Odersky2016-02-161-0/+4
| | | | | | | | | | | | | | Was: corresponding parameter types "are compatible". Now: corresponding parameter types "conform". This avoids the inconsistency mentioned by @retronym in #897.
| * Add more pos and neg testsMartin Odersky2016-02-162-1/+5
| | | | | | | | Tests suggested by @retronym's comments on issue #897.
| * Auto-uncurry n-ary functions.Martin Odersky2016-02-162-0/+30
| | | | | | | | Implements SIP #897.
* | Merge pull request #1073 from dotty-staging/fix-#576odersky2016-02-181-0/+18
|\ \ | | | | | | Handle implicits with default parameters.
| * | Add test caseMartin Odersky2016-02-161-0/+18
| | |
* | | Merge pull request #1082 from dotty-staging/add-replDmitry Petrashko2016-02-181-0/+24
|\ \ \ | | | | | | | | Dotty REPL initial version
| * | | Reinstantiate t920Martin Odersky2016-02-171-0/+24
| | |/ | |/| | | | | | | | | | | | | Got deleted by accident. Version in run has object renamed to prevent case clashes on MacOS. Version that exhibits the clash is in pending/run.
* / | Add checks for value classes:VladimirNik2016-02-161-0/+10
|/ / | | | | | | | | 1. Add errors in case of incorrect parameter; 2. Improvement to error message if value class is defined as a local class;
* | Merge pull request #1075 from dotty-staging/fix-t920-testDmitry Petrashko2016-02-161-0/+5
|\ \ | |/ |/| Drop empty companion objects
| * Move test to pendingMartin Odersky2016-02-111-0/+5
| | | | | | | | | | | | | | | | | | | | The underlying problem on MacOS/Windows remains: We have a class `B` and an object `b` in the same scope. We used to get a conflict on `B$/b$` because we created an empty companion object for `B`. Now we get a conflict for `B/b`, because the `b` object creates to classes: `b.class` an `b$.class` and `b.class` clashes with `B.class`.
* | Merge pull request #1081 from dotty-staging/fix-#645Dmitry Petrashko2016-02-121-0/+0
|\ \ | | | | | | Add test case for #645
| * | Add test case for #645Martin Odersky2016-02-121-0/+0
| |/
* | Allow enclosing module as qualifying classMartin Odersky2016-02-121-0/+7
| |
* | Survive class of errors in implicit searchMartin Odersky2016-02-121-0/+5
|/ | | | | | | | An `C.this` term with erroneous class `C` will get a `NoPrefix` type. A subsequent implicit search on this crashed. This is fixed now. Fixes #324.
* Enable tests for old fixed issuesGuillaume Martres2016-02-097-0/+0
| | | | Fix #530, #654, #681, #684, #685
* Merge pull request #1051 from dotty-staging/change-isVolatileodersky2016-02-0924-33/+410
|\ | | | | Change is volatile
| * By-name parameters are not stable values.Martin Odersky2016-02-092-14/+21
| |
| * New test files from SI 7278.Martin Odersky2016-02-092-0/+74
| |
| * Big realizability refactoringMartin Odersky2016-02-095-38/+129
| | | | | | | | | | | | | | Move logic from TypeOps to new file CheckRealizable.scala. Also check realizable fields under strict mode. Check at phase PostTyper rather than Typer to avoid cycles. New tests for imports and deep paths.
| * Handle paths of length > 1 for realizability checkingMartin Odersky2016-02-091-0/+27
| |
| * Drop lines from testMartin Odersky2016-02-092-3/+1
| | | | | | | | | | | | | | The lines in question now cause an error ("cannot be instantiated...") which masks the real tests at phase PostTyper. Also adapt bugcount of hklower test
| * Check that non-abstract classes have realizable bounds.Martin Odersky2016-02-091-3/+18
| |
| * Handle imports in path checks.Martin Odersky2016-02-091-11/+9
| | | | | | | | | | | | | | | | | | | | If `T` is a member of `p` then { import p._; ... T ... } should be checked in the same way as { ... p.T ... }
| * Fix path error disgnasticsMartin Odersky2016-02-091-0/+16
| | | | | | | | | | Fix wording so that it works for nested errors as well. Incorparte Tiark's latest example.
| * Only final lazy vals can be paths.Martin Odersky2016-02-092-2/+31
| | | | | | | | | | | | Reason: They might be overridden by other lazy vals that are not realizable, and therefore risk creating bad bounds.
| * Enforce rule that laziness is preserved when overriding.Martin Odersky2016-02-093-2/+12
| |
| * Reorganize tests to account for new typing of projectionMartin Odersky2016-02-0914-22/+79
| | | | | | | | | | | | Tests with failed projections are moved to pos-scala2, which was renamed from pos-special. Files in pos-scala2 are compiled with -language:Scala2 option.
| * Also consider type aliases when checking for realizabilityMartin Odersky2016-02-091-0/+24
| | | | | | | | Fixes #50.
| * Use isRealizable to identify stable prefixesMartin Odersky2016-02-092-9/+40
| | | | | | | | | | | | | | Replaces isVolatile, which is too weak (and more complicated). Backwards compatibility with Scala2 is ensured by dropping the requirement in Scala2 mode. Fixes #1047, which now compiles without inifinite recursion.
| * No volatile check needed for strict vals.Martin Odersky2016-02-091-9/+9
| |
* | Merge pull request #1058 from dotty-staging/fix-#864-v2Guillaume Martres2016-02-091-0/+10
|\ \ | |/ |/| Prune constraints that could turn into cycles
| * Prune constraints that could turn into cyclesMartin Odersky2016-02-051-0/+10
| | | | | | | | Fixes #864. Review by @smarter.
* | Merge pull request #1053 from dotty-staging/fix-#1045odersky2016-02-083-3/+8
|\ \ | | | | | | Fix #1045
| * | Disable benchmark testMartin Odersky2016-02-041-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | The test checks that Scala collections perform within 10x of Java collections. That's not something we need to test for dotty. And because of the heavily parallel execution of the tests it does not always hold. This is the second time in a a month that this particular test failed on jenkins. I think we lost enough cycles on it.
| * | Try to make refinements match in approximateUnionsMartin Odersky2016-02-041-0/+7
| | | | | | | | | | | | | | | See comment in Typer#approximateUnion for an explanation. Fixes #1045.
| * | Push `|' into corresponding RefinedTypes in approximateUnionMartin Odersky2016-02-041-3/+1
| |/ | | | | | | | | This gives in general a supertype, that's OK for approximation. See ee76fda for an explanation.
* | Merge pull request #1067 from dotty-staging/fix-1065odersky2016-02-081-0/+12
|\ \ | | | | | | Fix #1065 erasedLub for arrays of primitives.
| * | Test that #1065 is fixed.Dmitry Petrashko2016-02-081-0/+12
| |/
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 09:50:29 +0000