Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Don't evaluate isInstanceOf for value classes, disable bugged tests | Felix Mulder | 2016-05-26 | 2 | -5/+1 |
| | | | | | | | The tests `i1059.scala` and `t3480.scala` are failing due to a bug in pattern matcher that evaluates the `x` in `List(x: _*)` incorrectly. Concerned issue: #1276 | ||||
* | Two more tests | Martin Odersky | 2016-05-19 | 1 | -0/+20 |
| | | | | Unrelated to other commits but useful to get in. | ||||
* | Allow dependent method type for unapply. | Martin Odersky | 2016-04-27 | 1 | -0/+14 |
| | |||||
* | Test case | Martin Odersky | 2016-04-27 | 1 | -0/+16 |
| | |||||
* | Merge branch 'master' into fix-equality | odersky | 2016-04-26 | 1 | -0/+10 |
|\ | |||||
| * | Fix test failures in tailcall due to name clashes. | Dmitry Petrashko | 2016-04-21 | 1 | -1/+1 |
| | | |||||
| * | Test #1221. | Dmitry Petrashko | 2016-04-18 | 1 | -0/+10 |
| | | |||||
* | | Add test that demonstrate that #878 is fixed | Guillaume Martres | 2016-04-22 | 1 | -0/+17 |
|/ | | | | It was fixed by 2460f9603b0f0ed1d73dfea99edcee9ba6261d36 | ||||
* | Merge pull request #1211 from dotty-staging/fix-#1202 | odersky | 2016-04-16 | 1 | -0/+14 |
|\ | | | | | Fix Tasty errors | ||||
| * | Augment test case | Martin Odersky | 2016-04-07 | 1 | -0/+14 |
| | | |||||
* | | Check that #1216 is fixed. | Dmitry Petrashko | 2016-04-14 | 2 | -0/+22 |
| | | |||||
* | | Merge pull request #1186 from dotty-staging/fix-#1185 | odersky | 2016-04-06 | 4 | -12/+126 |
|\ \ | |/ |/| | Improvements to cyclic checking, avoidance, named parameters | ||||
| * | Domain checking for named type parameters | Martin Odersky | 2016-03-30 | 1 | -10/+10 |
| | | | | | | | | | | | | Now verifies that the named type parameters of an overriding type or class are the same as the named type parameters of an overridden type. | ||||
| * | Test cases | Martin Odersky | 2016-03-30 | 2 | -2/+52 |
| | | |||||
| * | Fix test case. | Martin Odersky | 2016-03-30 | 1 | -4/+4 |
| | | | | | | | | The intent is that Repr implementations should not bind the Out parameter. | ||||
| * | Simplify and fix avoid logic | Martin Odersky | 2016-03-30 | 1 | -0/+33 |
| | | | | | | | | | | The previous formulation broke for named parameters. Test case in flowops1.scala. | ||||
| * | Fixes to checkNonCyclic | Martin Odersky | 2016-03-30 | 1 | -0/+31 |
| | | | | | | | | | | | | | | | | | | Simplified logic and now check prefixes of TypeRefs. Without the simplified logic we would get false cyclic errors for ski.scala. Test case: flowops.scala Fixes #1185. | ||||
* | | FullParametrization: allow to have $this of ThisType. | Dmitry Petrashko | 2016-03-31 | 1 | -0/+26 |
| | | | | | | | | | | | | | | | | | | TailRec methods remain members of enclosing class, it means that they can refer to methods that require this.type. It means that tailrec, unlike value classes is not allowed to widen type of $this to it's full self type. Fixes #1089 | ||||
* | | Remove Variances.scala files accidentally leftover from #1193 | Guillaume Martres | 2016-03-31 | 1 | -15/+0 |
| | | | | | | | | These files were supposed to be remove, their content are now in variances.scala | ||||
* | | merge variances and Variances | Martin Odersky | 2016-03-31 | 1 | -0/+15 |
| | | |||||
* | | Add tests related to variance checking. | Sandro Stucki | 2016-03-30 | 1 | -0/+15 |
|/ | |||||
* | Fix problem involving classtag based pattern matches. | Martin Odersky | 2016-03-21 | 1 | -0/+19 |
| | | | | | | Rewriting did not go far enough, as evidenced by pos/i1174.scala Fixes #1174 | ||||
* | Merge pull request #1166 from dotty-staging/fix-#1136 | odersky | 2016-03-18 | 1 | -1/+1 |
|\ | | | | | Fix typing of SeqLiterals | ||||
| * | Fix test cases | Martin Odersky | 2016-03-11 | 1 | -1/+1 |
| | | | | | | | | The test contained an error that was unvovered by the "Nothing is not Nullable" fix. | ||||
* | | Merge pull request #1160 from dotty-staging/add/collection-strawman | odersky | 2016-03-18 | 1 | -0/+26 |
|\ \ | | | | | | | Add/collection strawman | ||||
| * | | Refine pretypeArgs | Martin Odersky | 2016-03-09 | 1 | -1/+23 |
| | | | | | | | | | | | | | | | It worked more or less by accident before. Now it's more complicated, but we also have tests. | ||||
| * | | Pretype functional arguments when doing overload resolution | Martin Odersky | 2016-03-09 | 1 | -0/+4 |
| | | | |||||
* | | | Merge pull request #1168 from dotty-staging/fix-#1131 | Dmitry Petrashko | 2016-03-14 | 1 | -0/+14 |
|\ \ \ | | | | | | | | | Tweaks to ExplicitOuter and TreeTypeMap | ||||
| * | | | Test case | Martin Odersky | 2016-03-12 | 1 | -0/+14 |
| | |/ | |/| | | | | | | | The test fails if either of the previous two commits is missing. | ||||
* / | | Have checkNotPrivate skip over private aliases. | Martin Odersky | 2016-03-12 | 1 | -0/+6 |
|/ / | | | | | | | | | | | | | | | | | CheckNotPrivate now avoids private aliases, so that types sat prepresentable in transformation phases. This does not solve the problem that private classes or abstract types might leak coming from Scala 2, but there is not really a good cure for that. We can reject them outright or allow them under language:Scala2 and hope for the best. | ||||
* | | Merge pull request #1153 from dotty-staging/vc-companions | odersky | 2016-03-09 | 6 | -0/+16 |
|\ \ | |/ |/| | Fix for separate compilation with value class issue (#1137) | ||||
| * | Fix for separate compilation with value class issue (missing companion ↵ | VladimirNik | 2016-03-07 | 6 | -0/+16 |
| | | | | | | | | object - #1137) | ||||
* | | Allow successive opening comments. | Martin Odersky | 2016-03-07 | 1 | -0/+10 |
|/ | | | | Fixes #1052. | ||||
* | Merge pull request #1150 from dotty-staging/change-lambdalift-fasttrack | odersky | 2016-03-07 | 1 | -9/+0 |
|\ | | | | | Change lambdalift - fasttrack | ||||
| * | Handle local traits in lambda lift | Martin Odersky | 2016-03-01 | 1 | -9/+0 |
| | | |||||
* | | Neg tests: remove negTest flag; neg tests are binded to neg directory | VladimirNik | 2016-03-03 | 1 | -2/+2 |
| | | |||||
* | | Neg tests: remove xerror parameter from tests (compute based on // error) | VladimirNik | 2016-03-03 | 2 | -0/+46 |
|/ | |||||
* | Merge pull request #1112 from dotty-staging/value-classes-private-this-param | Dmitry Petrashko | 2016-02-20 | 1 | -0/+18 |
|\ | | | | | Value classes: add support for private[this] parameter | ||||
| * | Add support for private[this] parameter in value classes | VladimirNik | 2016-02-19 | 1 | -0/+18 |
| | | |||||
* | | Merge pull request #1072 from dotty-staging/change-isVolatile-2 | odersky | 2016-02-19 | 5 | -0/+544 |
|\ \ | |/ |/| | Change is volatile 2 | ||||
| * | Allow Named Arguments in TypeArgs | Martin Odersky | 2016-02-19 | 1 | -1/+15 |
| | | | | | | | | 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/+15 |
| | | |||||
| * | More named param tests | Martin Odersky | 2016-02-19 | 3 | -0/+437 |
| | | | | | | | | Also, add an unrelated test file to pos. | ||||
| * | Augment test case | Martin Odersky | 2016-02-19 | 1 | -2/+5 |
| | | |||||
| * | First version of named type arguments | Martin Odersky | 2016-02-19 | 1 | -0/+17 |
| | | |||||
* | | Merge pull request #1106 from dotty-staging/neg-lines | Dmitry Petrashko | 2016-02-19 | 2 | -4/+4 |
|\ \ | |/ |/| | 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 | 1 | -1/+1 |
| | | |||||
| * | Negtests with // error comments | vsalvis | 2016-02-18 | 3 | -5/+5 |
| | |