Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix TypeOps.featureEnabled ignoring import disabling. | Nicolas Stucki | 2016-07-07 | 1 | -0/+10 |
| | |||||
* | Add scala.Dynamic language feature check. | Nicolas Stucki | 2016-07-07 | 1 | -0/+3 |
| | |||||
* | Fix #657: Add scala.Dynamic support. | Nicolas Stucki | 2016-07-07 | 31 | -0/+278 |
| | |||||
* | Fix #856: Handle try/catch cases as catch cases if possible. | Nicolas Stucki | 2016-06-28 | 1 | -0/+35 |
| | | | | | | | Previously they were all lifted into a match with the came cases. Now the first cases are handled directly by by the catch. If one of the cases can not be handled the old scheme is applied to to it and all subsequent cases. | ||||
* | Test #1224. | Dmitry Petrashko | 2016-06-07 | 1 | -0/+11 |
| | |||||
* | Test #1220 | Dmitry Petrashko | 2016-06-07 | 1 | -0/+4 |
| | |||||
* | Properly report errors when cli flags are malformed | Guillaume Martres | 2016-06-02 | 1 | -0/+2 |
| | | | | | Previously we returned an empty Reporter with no errors so partest reported the test as a success. | ||||
* | Don't evaluate isInstanceOf for value classes, disable bugged tests | Felix Mulder | 2016-05-26 | 1 | -0/+6 |
| | | | | | | | 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 | ||||
* | Add Eq instances of standard types to Predef | Martin Odersky | 2016-05-23 | 1 | -1/+10 |
| | | | | | | | | | To make tests pass, this required a looser specification of `assumedCanEquals`, so that an abstract type T can be compared to arbitrary values, as long as its upper bound can be compared. E.g. T == null T == "abc" | ||||
* | Add Java types to equality test | Martin Odersky | 2016-05-23 | 1 | -0/+21 |
| | |||||
* | Make Eq contravariant | Martin Odersky | 2016-05-23 | 1 | -5/+4 |
| | | | | (and add it to commit set). | ||||
* | Test case | Martin Odersky | 2016-05-23 | 1 | -0/+80 |
| | |||||
* | Hooks to check that comparisons with == / != make sense | Martin Odersky | 2016-05-23 | 1 | -96/+0 |
| | | | | | | | | | | Also, check that pattern matching against idents/selects/literals makes sense. The hooks perform an implicit search for an instance of `Eq[L, R]`, where `L`, `R` are the argument types. So far this always succeeeds because Eq.eqAny matches all such types. A separate commit will check the returned search term for validity. | ||||
* | Add new strawman for multiversal equality | Martin Odersky | 2016-05-23 | 1 | -0/+96 |
| | |||||
* | Remove stray test | Martin Odersky | 2016-05-19 | 1 | -17/+0 |
| | | | | Real test is in neg/customargs | ||||
* | Handle MergeErrors in RefChecks | Martin Odersky | 2016-05-19 | 2 | -14/+26 |
| | | | | | Used to throw an uncaught merge error in checkAllOverrides when compiling i1240c.scala. | ||||
* | Another test case involving super accessors | Martin Odersky | 2016-05-18 | 1 | -0/+17 |
| | |||||
* | Issue MergeError exception for double def situations | Martin Odersky | 2016-05-18 | 2 | -17/+20 |
| | | | | | | | | When finding two symbols in the same class that have the same signature as seen from some prefix, issue a merge error. This is simpler and more robust than the alternative of producing an overloaded denotation and dealing with it afterwards. | ||||
* | Fix test case | Martin Odersky | 2016-05-18 | 1 | -2/+2 |
| | |||||
* | Test case | Martin Odersky | 2016-05-18 | 1 | -0/+40 |
| | |||||
* | Merge branch 'master' into fix-equality | odersky | 2016-04-26 | 2 | -0/+20 |
|\ | |||||
| * | Fix test failures in tailcall due to name clashes. | Dmitry Petrashko | 2016-04-21 | 1 | -1/+1 |
| | | |||||
| * | Add neg-test for method with @tailrec callsites that is not final. | Dmitry Petrashko | 2016-04-18 | 1 | -0/+10 |
| | | |||||
| * | Test #1221. | Dmitry Petrashko | 2016-04-18 | 1 | -0/+10 |
| | | |||||
* | | Support implicitNotFound annotation | Martin Odersky | 2016-04-22 | 1 | -3/+6 |
| | | |||||
* | | Avoid propagating unresolved implicits | Martin Odersky | 2016-04-21 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | When an implicit argument is not found, we should in any case assume the result type of the implicit method as the type of the tree (after reporting an error, of course). If we don't do that, we get implicit errors on weird positions when we try to find an implicit argument for the same tree again. This caused a spurious error in subtyping.scala, and also caused an additional error at the end of EqualityStrawman1.scala. | ||||
* | | Straw man for multiversal equality. | Martin Odersky | 2016-04-21 | 1 | -0/+76 |
|/ | | | | | | | This test shows how we can make equality non-universal in Scala. It also exhibited the two bugs fixed in the previous two commits. Also related: SI-9763. | ||||
* | Merge pull request #1186 from dotty-staging/fix-#1185 | odersky | 2016-04-06 | 1 | -0/+3 |
|\ | | | | | Improvements to cyclic checking, avoidance, named parameters | ||||
| * | Domain checking for named type parameters | Martin Odersky | 2016-03-30 | 1 | -0/+3 |
| | | | | | | | | | | | | 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. | ||||
* | | Tailrec: drop support for polymorphic recursion. | Dmitry Petrashko | 2016-03-31 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | If the method that recurses over a different type arguments, if this method is specialised, it would lead to method not being tail-rec anymore. Eg: def foo[@specialized A, @specialized B]: Unit = foo[B, A] | ||||
* | | 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 |
|/ | |||||
* | support `xs @ _*` and `_*` in Scala2 mode | liu fengyun | 2016-03-18 | 1 | -0/+10 |
| | | | | | | | | | | | | The standard syntax in Dotty now is `xs : _*`. In Scala2 mode, following code should be valid: list match { case List(_, _, _, _ @ _*) => 0 case List(_, _, _*) => 1 case List(_, _: _*) => 2 case Nil => 3 } | ||||
* | Merge pull request #1160 from dotty-staging/add/collection-strawman | odersky | 2016-03-18 | 1 | -0/+17 |
|\ | | | | | Add/collection strawman | ||||
| * | Refine pretypeArgs | Martin Odersky | 2016-03-09 | 1 | -0/+17 |
| | | | | | | | | | | It worked more or less by accident before. Now it's more complicated, but we also have tests. | ||||
* | | More neg tests | Martin Odersky | 2016-03-12 | 2 | -0/+22 |
| | | | | | | | | Some random neg tests from previous experiments. | ||||
* | | Fix bug where ambiguous references were not reported | Martin Odersky | 2016-03-09 | 1 | -0/+11 |
|/ | | | | | | | There was a mssing condition which meant Tyepr thought it was at the outermost scope where but was mistaken. Fixes #1145 | ||||
* | Neg tests: remove negTest flag; neg tests are binded to neg directory | VladimirNik | 2016-03-03 | 1 | -0/+9 |
| | |||||
* | Neg tests: remove xerror parameter from tests (compute based on // error) | VladimirNik | 2016-03-03 | 11 | -58/+12 |
| | |||||
* | Merge pull request #1111 from dotty-staging/fix-#1099 | Dmitry Petrashko | 2016-03-02 | 1 | -38/+0 |
|\ | | | | | Special case pattern matching against abstract types with class tags | ||||
| * | Remove bogus test on rebasing | Martin Odersky | 2016-02-20 | 1 | -38/+0 |
| | | |||||
* | | Merge pull request #1112 from dotty-staging/value-classes-private-this-param | Dmitry Petrashko | 2016-02-20 | 1 | -2/+0 |
|\ \ | |/ |/| | Value classes: add support for private[this] parameter | ||||
| * | Add support for private[this] parameter in value classes | VladimirNik | 2016-02-19 | 1 | -2/+0 |
| | | |||||
* | | 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 | 2 | -6/+41 |
|\ \ | |/ |/| | Change is volatile 2 |