aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
* | Merge pull request #1066 from dotty-staging/fix-#997odersky2016-02-192-0/+66
|\ \ | | | | | | Fix #997
| * | Add error markersMartin Odersky2016-02-191-2/+2
| | |
| * | 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 #1072 from dotty-staging/change-isVolatile-2odersky2016-02-198-6/+605
|\ \ | |/ |/| Change is volatile 2
| * Allow Named Arguments in TypeArgsMartin Odersky2016-02-192-1/+27
| | | | | | | | Lets one also pass named arguments to methods.
| * Add some flexibility in comparing named and unnamed parameterized types.Martin Odersky2016-02-191-0/+58
| |
| * Fix problem of overloading resolution when receiver is not stable.Martin Odersky2016-02-191-0/+0
| |
| * Add test to illustrate overloading problem.Martin Odersky2016-02-191-0/+15
| |
| * More named param testsMartin Odersky2016-02-193-0/+437
| | | | | | | | Also, add an unrelated test file to pos.
| * Annotate test with // error indicationsMartin Odersky2016-02-191-6/+7
| | | | | | | | | | We had same fleyness in number of errors of cycle.scala which prompted this.
| * Check named type params for welformedness rules.Martin Odersky2016-02-191-0/+22
| |
| * Fix pending test for picklingMartin Odersky2016-02-191-2/+2
| | | | | | | | | | There is a before/after difference having to do with the order in which class declarations show up.
| * Move failing test to pendingMartin Odersky2016-02-191-0/+0
| | | | | | | | | | | | Named parameters cause some elements to be unpickled in a different order as they are pickled. In particular term parameter aliases and type parameter aliases seem to be swapped.
| * Augment test caseMartin Odersky2016-02-191-2/+5
| |
| * First version of named type argumentsMartin Odersky2016-02-192-0/+37
| |
* | 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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-21 14:44:44 +0000