aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Add a test to check multidimenstionall arrays.Dmitry Petrashko2016-04-181-0/+37
|
* Merge pull request #1211 from dotty-staging/fix-#1202odersky2016-04-167-0/+36
|\ | | | | Fix Tasty errors
| * Rearrange pickle testsMartin Odersky2016-04-092-0/+1
| | | | | | | | | | | | | | 1) Move passing test to pickling 2) Add test case for #1212 in pending 3) Disable annotations/internal in pickling tests. They lead to a stable symbol error which is explainable (modifiers are read before symbol is created).
| * Fix unpickling of Java SeqLiteralsMartin Odersky2016-04-071-0/+4
| | | | | | | | | | | | | | | | | | | | Two problems were fixed: - isJava needs to look at function symbol, not its type (references to Java methods get normal MethodTypes not JavMethodTypes) - we also need to handle the case where the repeated argument is wrspped in a type ascription.
| * Fix flags when unpickling setters of parameter accessorsMartin Odersky2016-04-071-0/+1
| | | | | | | | | | | | ParamAccessor is not a pickled flag. This is not a problem for normal parameter accessors which are pickled as PARAM fields. But setters of parameter accessors also need to have the flag set (and Deferred reset).
| * Test casesMartin Odersky2016-04-072-0/+16
| |
| * Augment test caseMartin Odersky2016-04-071-0/+14
| |
* | Check that #1216 is fixed.Dmitry Petrashko2016-04-142-0/+22
| |
* | Merge pull request #1186 from dotty-staging/fix-#1185odersky2016-04-066-12/+141
|\ \ | |/ |/| Improvements to cyclic checking, avoidance, named parameters
| * Domain checking for named type parametersMartin Odersky2016-03-302-10/+13
| | | | | | | | | | | | 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 casesMartin Odersky2016-03-302-2/+52
| |
| * Fix test case.Martin Odersky2016-03-301-4/+4
| | | | | | | | The intent is that Repr implementations should not bind the Out parameter.
| * Add test for #1181 to pendingMartin Odersky2016-03-301-0/+12
| |
| * Simplify and fix avoid logicMartin Odersky2016-03-301-0/+33
| | | | | | | | | | The previous formulation broke for named parameters. Test case in flowops1.scala.
| * Fixes to checkNonCyclicMartin Odersky2016-03-301-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.
* | Tailrec: drop support for polymorphic recursion.Dmitry Petrashko2016-03-311-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 Petrashko2016-03-311-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 #1193Guillaume Martres2016-03-312-30/+0
| | | | | | | | These files were supposed to be remove, their content are now in variances.scala
* | merge variances and VariancesMartin Odersky2016-03-312-0/+30
| |
* | Merge pull request #1182 from dotty-staging/repl-fixesodersky2016-03-314-0/+71
|\ \ | | | | | | Repl fixes and tests
| * | Add test fileMartin Odersky2016-03-181-0/+24
| | |
| * | Add REPL testsMartin Odersky2016-03-183-0/+47
| | |
* | | Add tests related to variance checking.Sandro Stucki2016-03-302-0/+30
| |/ |/|
* | Merge pull request #1104 from dotty-staging/spec-bugsDmitry Petrashko2016-03-241-0/+17
|\ \ | | | | | | Improvements & bugs that were discovered while implementing specialization.
| * | Add a test that checks that no useless forwarders are being created.Dmitry Petrashko2016-03-151-0/+17
| | |
* | | Fix problem involving classtag based pattern matches.Martin Odersky2016-03-211-0/+19
| | | | | | | | | | | | | | | | | | Rewriting did not go far enough, as evidenced by pos/i1174.scala Fixes #1174
* | | support `xs @ _*` and `_*` in Scala2 modeliu fengyun2016-03-182-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-#1136odersky2016-03-182-2/+2
|\ \ | | | | | | Fix typing of SeqLiterals
| * | Fix test casesMartin Odersky2016-03-112-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-strawmanodersky2016-03-183-4/+47
|\ \ \ | | | | | | | | Add/collection strawman
| * | | Refine pretypeArgsMartin Odersky2016-03-092-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 testMartin Odersky2016-03-091-2/+2
| | | |
| * | | Pretype functional arguments when doing overload resolutionMartin Odersky2016-03-091-0/+4
| | | |
| * | | New collection strawmanMartin Odersky2016-03-091-2/+2
| | | | | | | | | | | | | | | | Centered around views instead of iterators.
* | | | Merge pull request #1154 from dotty-staging/add-rewriteodersky2016-03-185-0/+87
|\ \ \ \ | | | | | | | | | | First steps towards rewriting from Scala2 in dotty
| * | | | Fix two rewrite patches.Martin Odersky2016-03-121-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 errorsMartin Odersky2016-03-121-0/+6
| | | | |
| * | | | Rewrite testMartin Odersky2016-03-121-0/+29
| | | | | | | | | | | | | | | | | | | | Test rewritings that were implemented so far.
| * | | | More neg testsMartin Odersky2016-03-123-0/+33
| | | | | | | | | | | | | | | | | | | | Some random neg tests from previous experiments.
| * | | | Test case for #1149Martin Odersky2016-03-121-0/+18
| | |/ / | |/| |
* | | | Merge pull request #1165 from dotty-staging/fix-#1144Dmitry Petrashko2016-03-152-0/+9
|\ \ \ \ | |_|_|/ |/| | | Pickle/unpickle SuperAccessor names
| * | | Pickle/unpickle SuperAccessor namesMartin Odersky2016-03-102-0/+9
| | | | | | | | | | | | | | | | | | | | Needed to restore the SuperAccessor flag in separate compilation. Fixes #1144.
* | | | Merge pull request #1168 from dotty-staging/fix-#1131Dmitry Petrashko2016-03-141-0/+14
|\ \ \ \ | | | | | | | | | | Tweaks to ExplicitOuter and TreeTypeMap
| * | | | Test caseMartin Odersky2016-03-121-0/+14
| | |/ / | |/| | | | | | | | | | The test fails if either of the previous two commits is missing.
* | | | Merge pull request #1171 from dotty-staging/fix-#1130Guillaume Martres2016-03-131-0/+6
|\ \ \ \ | | | | | | | | | | Have checkNotPrivate skip over private aliases.
| * | | | Have checkNotPrivate skip over private aliases.Martin Odersky2016-03-121-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-#1140Guillaume Martres2016-03-132-0/+9
|\ \ \ \ | |/ / / |/| | | Make sure lazy accessors in traits are not private.
| * | | Make sure lazy accessors in traits are not private.Martin Odersky2016-03-102-0/+9
| |/ / | | | | | | | | | Fixes #1140. Review by @DarkDimius or @smarter.
* / / Fix bug where ambiguous references were not reportedMartin Odersky2016-03-091-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-companionsodersky2016-03-096-0/+16
|\ \ | |/ |/| Fix for separate compilation with value class issue (#1137)
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 08:52:12 +0000