aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Collapse)AuthorAgeFilesLines
* Test #1224.Dmitry Petrashko2016-06-071-0/+11
|
* Test #1220Dmitry Petrashko2016-06-071-0/+4
|
* Properly report errors when cli flags are malformedGuillaume Martres2016-06-021-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 testsFelix Mulder2016-05-261-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 PredefMartin Odersky2016-05-231-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 testMartin Odersky2016-05-231-0/+21
|
* Make Eq contravariantMartin Odersky2016-05-231-5/+4
| | | | (and add it to commit set).
* Test caseMartin Odersky2016-05-231-0/+80
|
* Hooks to check that comparisons with == / != make senseMartin Odersky2016-05-231-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 equalityMartin Odersky2016-05-231-0/+96
|
* Remove stray testMartin Odersky2016-05-191-17/+0
| | | | Real test is in neg/customargs
* Handle MergeErrors in RefChecksMartin Odersky2016-05-192-14/+26
| | | | | Used to throw an uncaught merge error in checkAllOverrides when compiling i1240c.scala.
* Another test case involving super accessorsMartin Odersky2016-05-181-0/+17
|
* Issue MergeError exception for double def situationsMartin Odersky2016-05-182-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 caseMartin Odersky2016-05-181-2/+2
|
* Test caseMartin Odersky2016-05-181-0/+40
|
* Merge branch 'master' into fix-equalityodersky2016-04-262-0/+20
|\
| * Fix test failures in tailcall due to name clashes.Dmitry Petrashko2016-04-211-1/+1
| |
| * Add neg-test for method with @tailrec callsites that is not final.Dmitry Petrashko2016-04-181-0/+10
| |
| * Test #1221.Dmitry Petrashko2016-04-181-0/+10
| |
* | Support implicitNotFound annotationMartin Odersky2016-04-221-3/+6
| |
* | Avoid propagating unresolved implicitsMartin Odersky2016-04-211-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 Odersky2016-04-211-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-#1185odersky2016-04-061-0/+3
|\ | | | | Improvements to cyclic checking, avoidance, named parameters
| * Domain checking for named type parametersMartin Odersky2016-03-301-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 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]
* | 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
|/
* support `xs @ _*` and `_*` in Scala2 modeliu fengyun2016-03-181-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-strawmanodersky2016-03-181-0/+17
|\ | | | | Add/collection strawman
| * Refine pretypeArgsMartin Odersky2016-03-091-0/+17
| | | | | | | | | | It worked more or less by accident before. Now it's more complicated, but we also have tests.
* | More neg testsMartin Odersky2016-03-122-0/+22
| | | | | | | | Some random neg tests from previous experiments.
* | 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
* Neg tests: remove negTest flag; neg tests are binded to neg directoryVladimirNik2016-03-031-0/+9
|
* Neg tests: remove xerror parameter from tests (compute based on // error)VladimirNik2016-03-0311-58/+12
|
* Merge pull request #1111 from dotty-staging/fix-#1099Dmitry Petrashko2016-03-021-38/+0
|\ | | | | Special case pattern matching against abstract types with class tags
| * Remove bogus test on rebasingMartin Odersky2016-02-201-38/+0
| |
* | Merge pull request #1112 from dotty-staging/value-classes-private-this-paramDmitry Petrashko2016-02-201-2/+0
|\ \ | |/ |/| Value classes: add support for private[this] parameter
| * Add support for private[this] parameter in value classesVladimirNik2016-02-191-2/+0
| |
* | Merge pull request #1066 from dotty-staging/fix-#997odersky2016-02-192-0/+66
|\ \ | | | | | | Fix #997
| * | Add error markersMartin Odersky2016-02-191-2/+2
| | |
| * | Move leak detection to CheckingMartin Odersky2016-02-191-0/+2
| | | | | | | | | | | | Also: include a test that private aliases are transparent.
| * | Add checking for leaking private definitionsMartin Odersky2016-02-191-0/+45
| | | | | | | | | | | | First version. Fixes #997.
| * | Copy access flags to derived definitions during desugaringMartin Odersky2016-02-191-0/+19
| |/ | | | | | | Previously, some definitions were too public, others too private.
* | Merge pull request #1072 from dotty-staging/change-isVolatile-2odersky2016-02-192-6/+41
|\ \ | |/ |/| Change is volatile 2
| * Allow Named Arguments in TypeArgsMartin Odersky2016-02-191-0/+12
| | | | | | | | Lets one also pass named arguments to methods.
| * Annotate test with // error indicationsMartin Odersky2016-02-191-6/+7
| | | | | | | | | | We had same fleyness in number of errors of cycle.scala which prompted this.
| * Check named type params for welformedness rules.Martin Odersky2016-02-191-0/+22
| |
* | Merge pull request #1106 from dotty-staging/neg-linesDmitry Petrashko2016-02-1947-136/+137
|\ \ | |/ |/| Neg tests check files for // error markers (rebased and updated)
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-21 11:48:46 +0000