Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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] | ||||
* | 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 | 2 | -30/+0 |
| | | | | These files were supposed to be remove, their content are now in variances.scala | ||||
* | merge variances and Variances | Martin Odersky | 2016-03-31 | 2 | -0/+30 |
| | |||||
* | Merge pull request #1182 from dotty-staging/repl-fixes | odersky | 2016-03-31 | 4 | -0/+71 |
|\ | | | | | Repl fixes and tests | ||||
| * | Add test file | Martin Odersky | 2016-03-18 | 1 | -0/+24 |
| | | |||||
| * | Add REPL tests | Martin Odersky | 2016-03-18 | 3 | -0/+47 |
| | | |||||
* | | Add tests related to variance checking. | Sandro Stucki | 2016-03-30 | 2 | -0/+30 |
| | | |||||
* | | Merge pull request #1104 from dotty-staging/spec-bugs | Dmitry Petrashko | 2016-03-24 | 1 | -0/+17 |
|\ \ | | | | | | | Improvements & bugs that were discovered while implementing specialization. | ||||
| * | | Add a test that checks that no useless forwarders are being created. | Dmitry Petrashko | 2016-03-15 | 1 | -0/+17 |
| | | | |||||
* | | | 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 | ||||
* | | | support `xs @ _*` and `_*` in Scala2 mode | liu fengyun | 2016-03-18 | 2 | -0/+20 |
| |/ |/| | | | | | | | | | | | | | | | | | | | | | 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 #1166 from dotty-staging/fix-#1136 | odersky | 2016-03-18 | 2 | -2/+2 |
|\ \ | | | | | | | Fix typing of SeqLiterals | ||||
| * | | Fix test cases | Martin Odersky | 2016-03-11 | 2 | -2/+2 |
| | | | | | | | | | | | | 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 | 3 | -4/+47 |
|\ \ \ | | | | | | | | | Add/collection strawman | ||||
| * | | | Refine pretypeArgs | Martin Odersky | 2016-03-09 | 2 | -1/+40 |
| | | | | | | | | | | | | | | | | | | | | It worked more or less by accident before. Now it's more complicated, but we also have tests. | ||||
| * | | | Make use of better overload resolution in collections strawman test | Martin Odersky | 2016-03-09 | 1 | -2/+2 |
| | | | | |||||
| * | | | Pretype functional arguments when doing overload resolution | Martin Odersky | 2016-03-09 | 1 | -0/+4 |
| | | | | |||||
| * | | | New collection strawman | Martin Odersky | 2016-03-09 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | Centered around views instead of iterators. | ||||
* | | | | Merge pull request #1154 from dotty-staging/add-rewrite | odersky | 2016-03-18 | 5 | -0/+87 |
|\ \ \ \ | | | | | | | | | | | First steps towards rewriting from Scala2 in dotty | ||||
| * | | | | Fix two rewrite patches. | Martin Odersky | 2016-03-12 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1. trailing `_`: `x _` is rewritten to `(() => x)` not to `x` 2. lazy vals: Rewrites are done in Typer, not LazyVals. Later on we are too much at risk to hit synthetically generated lazy vals. | ||||
| * | | | | Add patch for variance errors | Martin Odersky | 2016-03-12 | 1 | -0/+6 |
| | | | | | |||||
| * | | | | Rewrite test | Martin Odersky | 2016-03-12 | 1 | -0/+29 |
| | | | | | | | | | | | | | | | | | | | | Test rewritings that were implemented so far. | ||||
| * | | | | More neg tests | Martin Odersky | 2016-03-12 | 3 | -0/+33 |
| | | | | | | | | | | | | | | | | | | | | Some random neg tests from previous experiments. | ||||
| * | | | | Test case for #1149 | Martin Odersky | 2016-03-12 | 1 | -0/+18 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #1165 from dotty-staging/fix-#1144 | Dmitry Petrashko | 2016-03-15 | 2 | -0/+9 |
|\ \ \ \ | |_|_|/ |/| | | | Pickle/unpickle SuperAccessor names | ||||
| * | | | Pickle/unpickle SuperAccessor names | Martin Odersky | 2016-03-10 | 2 | -0/+9 |
| | | | | | | | | | | | | | | | | | | | | Needed to restore the SuperAccessor flag in separate compilation. Fixes #1144. | ||||
* | | | | 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. | ||||
* | | | | Merge pull request #1171 from dotty-staging/fix-#1130 | Guillaume Martres | 2016-03-13 | 1 | -0/+6 |
|\ \ \ \ | | | | | | | | | | | Have checkNotPrivate skip over private aliases. | ||||
| * | | | | 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 #1164 from dotty-staging/fix-#1140 | Guillaume Martres | 2016-03-13 | 2 | -0/+9 |
|\ \ \ \ | |/ / / |/| | | | Make sure lazy accessors in traits are not private. | ||||
| * | | | Make sure lazy accessors in traits are not private. | Martin Odersky | 2016-03-10 | 2 | -0/+9 |
| |/ / | | | | | | | | | | Fixes #1140. Review by @DarkDimius or @smarter. | ||||
* / / | 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 | ||||
* | | 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) | ||||
* | | Merge pull request #1155 from dotty-staging/static | odersky | 2016-03-09 | 1 | -0/+40 |
|\ \ | | | | | | | Implement @static sip. | ||||
| * | | Add test that was used to see if @static works. | Dmitry Petrashko | 2016-03-07 | 1 | -0/+40 |
| | | | |||||
* | | | Allow successive opening comments. | Martin Odersky | 2016-03-07 | 1 | -0/+10 |
| |/ |/| | | | | | Fixes #1052. | ||||
* | | Merge pull request #1147 from sjrd/fix-non-jvm-sam-non-apply | odersky | 2016-03-07 | 2 | -0/+12 |
|\ \ | | | | | | | Fix #1146: Fix bug of ExpandSAMs with non-apply SAM methods. | ||||
| * | | Fix #1146: Fix bug of ExpandSAMs with non-apply SAM methods. | Sébastien Doeraene | 2016-03-07 | 2 | -0/+12 |
| |/ | | | | | | | | | | | When expanding a SAM, ExpandSAMs always used the name `apply` for the generated forwarder, instead of the name of the method which is abstract in the SAM type. This commit fixes this issue. | ||||
* | | Merge pull request #1150 from dotty-staging/change-lambdalift-fasttrack | odersky | 2016-03-07 | 2 | -9/+156 |
|\ \ | |/ |/| | Change lambdalift - fasttrack | ||||
| * | Fix call propagation from constructor to class | Martin Odersky | 2016-03-02 | 2 | -16/+16 |
| | | |||||
| * | LambdaLift redesign | Martin Odersky | 2016-03-02 | 2 | -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 lift | Martin Odersky | 2016-03-01 | 2 | -9/+100 |
| | | |||||
* | | Neg tests: remove negTest flag; neg tests are binded to neg directory | VladimirNik | 2016-03-03 | 2 | -2/+11 |
| | | |||||
* | | Neg tests: remove xerror parameter from tests (compute based on // error) | VladimirNik | 2016-03-03 | 11 | -12/+12 |
| | | |||||
* | | Merge pull request #1111 from dotty-staging/fix-#1099 | Dmitry Petrashko | 2016-03-02 | 2 | -38/+25 |
|\ \ | |/ |/| | Special case pattern matching against abstract types with class tags | ||||
| * | Remove bogus test on rebasing | Martin Odersky | 2016-02-20 | 1 | -38/+0 |
| | | |||||
| * | Special case for pattern matching tagged abstract types. | Martin Odersky | 2016-02-20 | 1 | -0/+25 |
| | | | | | | | | Add special case when pattern matching against an abstract type that comes with a class tag |