aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
| * LambdaLift redesignMartin Odersky2016-03-022-3/+59
| | | | | | | | | | | | | | Simplifications in order to avoid the freqent special casing of constructors and prepare the way for proper handling of trait constructors (which cause problems; see pending/pos/llift.scala.
| * Handle local traits in lambda liftMartin Odersky2016-03-012-9/+100
| |
* | Neg tests: remove negTest flag; neg tests are binded to neg directoryVladimirNik2016-03-032-2/+11
| |
* | Neg tests: remove xerror parameter from tests (compute based on // error)VladimirNik2016-03-0311-12/+12
| |
* | Merge pull request #1111 from dotty-staging/fix-#1099Dmitry Petrashko2016-03-022-38/+25
|\ \ | |/ |/| Special case pattern matching against abstract types with class tags
| * Remove bogus test on rebasingMartin Odersky2016-02-201-38/+0
| |
| * Special case for pattern matching tagged abstract types.Martin Odersky2016-02-201-0/+25
| | | | | | | | Add special case when pattern matching against an abstract type that comes with a class tag
* | Merge pull request #1112 from dotty-staging/value-classes-private-this-paramDmitry Petrashko2016-02-202-2/+18
|\ \ | | | | | | Value classes: add support for private[this] parameter
| * | Add support for private[this] parameter in value classesVladimirNik2016-02-192-2/+18
| | |
* | | Test that #1114 is fixed.Dmitry Petrashko2016-02-201-0/+21
| |/ |/|
* | 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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 02:50:49 +0000