aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1309 from felixmulder/topic/fix#1307Dmitry Petrashko2016-06-221-0/+7
|\ | | | | Fix issue with GADT not typechecking without bind in match
| * Fix issue with GADT not typechecking without bind in matchFelix Mulder2016-06-061-0/+7
| |
* | better handling of overloaded extractorsliu fengyun2016-06-201-0/+38
|/
* Do not miss implicits in type parameters of parentsGuillaume Martres2016-05-311-0/+12
| | | | | This did not work before because we incorrectly looked for their value in the prefix of the type instead of the type itself.
* Fix implicit scope caching bugGuillaume Martres2016-05-311-0/+16
| | | | | | | | | | | | | | The issue is subtle: the `tp` in scope in `def ofTypeImplicits` is the `tp` passed to the top-level `implicitScope` method, not the `tp` passed to the recursively called `iscope`, this means that before this commit, all intermediate `OfTypeImplicit` scopes cached while computing an implicit scope had their `tp` field incorrectly set, which means that we could miss implicits in later implicit searches. Note that the `implicit_cache.scala` test worked before this commit because of the restrictions on caching that exist since b8b0f381ef2cbcb7bad66fd3e7a9ae929baa45f6, it is included anyway because our caching strategy might change in the future.
* Document why we cannot cache all implicit scopesGuillaume Martres2016-05-311-0/+17
|
* Add test for SI-9795Felix Mulder2016-05-271-0/+7
|
* Annotate repeated params with `case` flag to indicate that they are legalFelix Mulder2016-05-271-4/+1
| | | | | | | One drawback with this approach is that the type seems to propagate. I.e. if the return type of an expression is `repeated` then the enclosing variable will get the `repeated` type instead of getting the expected `Seq` type
* Don't evaluate isInstanceOf for value classes, disable bugged testsFelix Mulder2016-05-262-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 testsMartin Odersky2016-05-191-0/+20
| | | | Unrelated to other commits but useful to get in.
* Allow dependent method type for unapply.Martin Odersky2016-04-271-0/+14
|
* Test caseMartin Odersky2016-04-271-0/+16
|
* Merge branch 'master' into fix-equalityodersky2016-04-261-0/+10
|\
| * Fix test failures in tailcall due to name clashes.Dmitry Petrashko2016-04-211-1/+1
| |
| * Test #1221.Dmitry Petrashko2016-04-181-0/+10
| |
* | Add test that demonstrate that #878 is fixedGuillaume Martres2016-04-221-0/+17
|/ | | | It was fixed by 2460f9603b0f0ed1d73dfea99edcee9ba6261d36
* Merge pull request #1211 from dotty-staging/fix-#1202odersky2016-04-161-0/+14
|\ | | | | Fix Tasty errors
| * 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-064-12/+126
|\ \ | |/ |/| Improvements to cyclic checking, avoidance, named parameters
| * Domain checking for named type parametersMartin Odersky2016-03-301-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 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.
| * 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.
* | 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-311-15/+0
| | | | | | | | These files were supposed to be remove, their content are now in variances.scala
* | merge variances and VariancesMartin Odersky2016-03-311-0/+15
| |
* | Add tests related to variance checking.Sandro Stucki2016-03-301-0/+15
|/
* 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
* Merge pull request #1166 from dotty-staging/fix-#1136odersky2016-03-181-1/+1
|\ | | | | Fix typing of SeqLiterals
| * Fix test casesMartin Odersky2016-03-111-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-strawmanodersky2016-03-181-0/+26
|\ \ | | | | | | Add/collection strawman
| * | Refine pretypeArgsMartin Odersky2016-03-091-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 resolutionMartin Odersky2016-03-091-0/+4
| | |
* | | 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.
* / | 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 #1153 from dotty-staging/vc-companionsodersky2016-03-096-0/+16
|\ \ | |/ |/| Fix for separate compilation with value class issue (#1137)
| * Fix for separate compilation with value class issue (missing companion ↵VladimirNik2016-03-076-0/+16
| | | | | | | | object - #1137)
* | Allow successive opening comments.Martin Odersky2016-03-071-0/+10
|/ | | | Fixes #1052.
* Merge pull request #1150 from dotty-staging/change-lambdalift-fasttrackodersky2016-03-071-9/+0
|\ | | | | Change lambdalift - fasttrack
| * Handle local traits in lambda liftMartin Odersky2016-03-011-9/+0
| |
* | Neg tests: remove negTest flag; neg tests are binded to neg directoryVladimirNik2016-03-031-2/+2
| |
* | Neg tests: remove xerror parameter from tests (compute based on // error)VladimirNik2016-03-032-0/+46
|/
* Merge pull request #1112 from dotty-staging/value-classes-private-this-paramDmitry Petrashko2016-02-201-0/+18
|\ | | | | Value classes: add support for private[this] parameter
| * Add support for private[this] parameter in value classesVladimirNik2016-02-191-0/+18
| |
* | Merge pull request #1072 from dotty-staging/change-isVolatile-2odersky2016-02-195-0/+544
|\ \ | |/ |/| Change is volatile 2
| * Allow Named Arguments in TypeArgsMartin Odersky2016-02-191-1/+15
| | | | | | | | Lets one also pass named arguments to methods.
| * Add some flexibility in comparing named and unnamed parameterized types.Martin Odersky2016-02-191-0/+58
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-21 07:40:15 +0000