Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Merge pull request #1112 from dotty-staging/value-classes-private-this-param | Dmitry Petrashko | 2016-02-20 | 2 | -2/+18 | |
|\ \ | | | | | | | Value classes: add support for private[this] parameter | |||||
| * | | Add support for private[this] parameter in value classes | VladimirNik | 2016-02-19 | 2 | -2/+18 | |
| | | | ||||||
* | | | Test that #1114 is fixed. | Dmitry Petrashko | 2016-02-20 | 1 | -0/+21 | |
| |/ |/| | ||||||
* | | Merge pull request #1066 from dotty-staging/fix-#997 | odersky | 2016-02-19 | 2 | -0/+66 | |
|\ \ | | | | | | | Fix #997 | |||||
| * | | Add error markers | Martin Odersky | 2016-02-19 | 1 | -2/+2 | |
| | | | ||||||
| * | | Move leak detection to Checking | Martin Odersky | 2016-02-19 | 1 | -0/+2 | |
| | | | | | | | | | | | | Also: include a test that private aliases are transparent. | |||||
| * | | Add checking for leaking private definitions | Martin Odersky | 2016-02-19 | 1 | -0/+45 | |
| | | | | | | | | | | | | First version. Fixes #997. | |||||
| * | | Copy access flags to derived definitions during desugaring | Martin Odersky | 2016-02-19 | 1 | -0/+19 | |
| |/ | | | | | | | Previously, some definitions were too public, others too private. | |||||
* | | Merge pull request #1072 from dotty-staging/change-isVolatile-2 | odersky | 2016-02-19 | 8 | -6/+605 | |
|\ \ | |/ |/| | Change is volatile 2 | |||||
| * | Allow Named Arguments in TypeArgs | Martin Odersky | 2016-02-19 | 2 | -1/+27 | |
| | | | | | | | | Lets one also pass named arguments to methods. | |||||
| * | Add some flexibility in comparing named and unnamed parameterized types. | Martin Odersky | 2016-02-19 | 1 | -0/+58 | |
| | | ||||||
| * | Fix problem of overloading resolution when receiver is not stable. | Martin Odersky | 2016-02-19 | 1 | -0/+0 | |
| | | ||||||
| * | Add test to illustrate overloading problem. | Martin Odersky | 2016-02-19 | 1 | -0/+15 | |
| | | ||||||
| * | More named param tests | Martin Odersky | 2016-02-19 | 3 | -0/+437 | |
| | | | | | | | | Also, add an unrelated test file to pos. | |||||
| * | Annotate test with // error indications | Martin Odersky | 2016-02-19 | 1 | -6/+7 | |
| | | | | | | | | | | We had same fleyness in number of errors of cycle.scala which prompted this. | |||||
| * | Check named type params for welformedness rules. | Martin Odersky | 2016-02-19 | 1 | -0/+22 | |
| | | ||||||
| * | Fix pending test for pickling | Martin Odersky | 2016-02-19 | 1 | -2/+2 | |
| | | | | | | | | | | There is a before/after difference having to do with the order in which class declarations show up. | |||||
| * | Move failing test to pending | Martin Odersky | 2016-02-19 | 1 | -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 case | Martin Odersky | 2016-02-19 | 1 | -2/+5 | |
| | | ||||||
| * | First version of named type arguments | Martin Odersky | 2016-02-19 | 2 | -0/+37 | |
| | | ||||||
* | | Merge pull request #1106 from dotty-staging/neg-lines | Dmitry Petrashko | 2016-02-19 | 49 | -140/+141 | |
|\ \ | |/ |/| | Neg tests check files for // error markers (rebased and updated) | |||||
| * | Neg tests: remove // error from pos tests | VladimirNik | 2016-02-19 | 2 | -2/+2 | |
| | | ||||||
| * | Adapt neg tests to new neg tests checks | VladimirNik | 2016-02-18 | 18 | -56/+56 | |
| | | ||||||
| * | Negtests with // error comments | vsalvis | 2016-02-18 | 37 | -99/+100 | |
| | | ||||||
* | | Merge pull request #1107 from dotty-staging/fix/wildApprox-lazyref | odersky | 2016-02-19 | 1 | -0/+5 | |
|\ \ | | | | | | | ProtoTypes#wildApprox: fix LazyRef approximation | |||||
| * | | ProtoTypes#wildApprox: fix LazyRef approximation | Guillaume Martres | 2016-02-18 | 1 | -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-uncurry | odersky | 2016-02-18 | 3 | -0/+46 | |
|\ \ | |/ |/| | Implement auto tupling of function arguments | |||||
| * | Fix pos test | Martin Odersky | 2016-02-16 | 1 | -1/+1 | |
| | | | | | | | | Former test no longer allowed after conforms/compatible change. | |||||
| * | Untuple using `def` not `val`. | Martin Odersky | 2016-02-16 | 1 | -0/+8 | |
| | | | | | | | | As retronym noted on #897, `val` forces to early. | |||||
| * | Strengthen requirement for auto-tupling | Martin Odersky | 2016-02-16 | 1 | -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 tests | Martin Odersky | 2016-02-16 | 2 | -1/+5 | |
| | | | | | | | | Tests suggested by @retronym's comments on issue #897. | |||||
| * | Auto-uncurry n-ary functions. | Martin Odersky | 2016-02-16 | 2 | -0/+30 | |
| | | | | | | | | Implements SIP #897. | |||||
* | | Merge pull request #1073 from dotty-staging/fix-#576 | odersky | 2016-02-18 | 1 | -0/+18 | |
|\ \ | | | | | | | Handle implicits with default parameters. | |||||
| * | | Add test case | Martin Odersky | 2016-02-16 | 1 | -0/+18 | |
| | | | ||||||
* | | | Merge pull request #1082 from dotty-staging/add-repl | Dmitry Petrashko | 2016-02-18 | 1 | -0/+24 | |
|\ \ \ | | | | | | | | | Dotty REPL initial version | |||||
| * | | | Reinstantiate t920 | Martin Odersky | 2016-02-17 | 1 | -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: | VladimirNik | 2016-02-16 | 1 | -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-test | Dmitry Petrashko | 2016-02-16 | 1 | -0/+5 | |
|\ \ | |/ |/| | Drop empty companion objects | |||||
| * | Move test to pending | Martin Odersky | 2016-02-11 | 1 | -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-#645 | Dmitry Petrashko | 2016-02-12 | 1 | -0/+0 | |
|\ \ | | | | | | | Add test case for #645 | |||||
| * | | Add test case for #645 | Martin Odersky | 2016-02-12 | 1 | -0/+0 | |
| |/ | ||||||
* | | Allow enclosing module as qualifying class | Martin Odersky | 2016-02-12 | 1 | -0/+7 | |
| | | ||||||
* | | Survive class of errors in implicit search | Martin Odersky | 2016-02-12 | 1 | -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 issues | Guillaume Martres | 2016-02-09 | 7 | -0/+0 | |
| | | | | Fix #530, #654, #681, #684, #685 | |||||
* | Merge pull request #1051 from dotty-staging/change-isVolatile | odersky | 2016-02-09 | 24 | -33/+410 | |
|\ | | | | | Change is volatile | |||||
| * | By-name parameters are not stable values. | Martin Odersky | 2016-02-09 | 2 | -14/+21 | |
| | | ||||||
| * | New test files from SI 7278. | Martin Odersky | 2016-02-09 | 2 | -0/+74 | |
| | | ||||||
| * | Big realizability refactoring | Martin Odersky | 2016-02-09 | 5 | -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 checking | Martin Odersky | 2016-02-09 | 1 | -0/+27 | |
| | | ||||||
| * | Drop lines from test | Martin Odersky | 2016-02-09 | 2 | -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 |