aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Collapse)AuthorAgeFilesLines
* 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)
| * Adapt neg tests to new neg tests checksVladimirNik2016-02-1817-55/+55
| |
| * Negtests with // error commentsvsalvis2016-02-1834-94/+95
| |
* | Merge pull request #898 from dotty-staging/add/auto-uncurryodersky2016-02-181-0/+28
|\ \ | |/ |/| Implement auto tupling of function arguments
| * Strengthen requirement for auto-tuplingMartin Odersky2016-02-161-0/+4
| | | | | | | | | | | | | | Was: corresponding parameter types "are compatible". Now: corresponding parameter types "conform". This avoids the inconsistency mentioned by @retronym in #897.
| * Add more pos and neg testsMartin Odersky2016-02-161-1/+3
| | | | | | | | Tests suggested by @retronym's comments on issue #897.
| * Auto-uncurry n-ary functions.Martin Odersky2016-02-161-0/+22
| | | | | | | | Implements SIP #897.
* | Add checks for value classes:VladimirNik2016-02-161-0/+10
|/ | | | | 1. Add errors in case of incorrect parameter; 2. Improvement to error message if value class is defined as a local class;
* Merge pull request #1081 from dotty-staging/fix-#645Dmitry Petrashko2016-02-121-0/+15
|\ | | | | Add test case for #645
| * Add test case for #645Martin Odersky2016-02-121-0/+15
| |
* | Survive class of errors in implicit searchMartin Odersky2016-02-121-0/+5
|/ | | | | | | | An `C.this` term with erroneous class `C` will get a `NoPrefix` type. A subsequent implicit search on this crashed. This is fixed now. Fixes #324.
* By-name parameters are not stable values.Martin Odersky2016-02-092-14/+21
|
* New test files from SI 7278.Martin Odersky2016-02-091-0/+42
|
* Big realizability refactoringMartin Odersky2016-02-095-38/+129
| | | | | | | Move logic from TypeOps to new file CheckRealizable.scala. Also check realizable fields under strict mode. Check at phase PostTyper rather than Typer to avoid cycles. New tests for imports and deep paths.
* Handle paths of length > 1 for realizability checkingMartin Odersky2016-02-091-0/+27
|
* Drop lines from testMartin Odersky2016-02-092-3/+1
| | | | | | | The lines in question now cause an error ("cannot be instantiated...") which masks the real tests at phase PostTyper. Also adapt bugcount of hklower test
* Check that non-abstract classes have realizable bounds.Martin Odersky2016-02-091-3/+18
|
* Handle imports in path checks.Martin Odersky2016-02-091-11/+9
| | | | | | | | | | If `T` is a member of `p` then { import p._; ... T ... } should be checked in the same way as { ... p.T ... }
* Fix path error disgnasticsMartin Odersky2016-02-091-0/+16
| | | | | Fix wording so that it works for nested errors as well. Incorparte Tiark's latest example.
* Only final lazy vals can be paths.Martin Odersky2016-02-092-2/+31
| | | | | | Reason: They might be overridden by other lazy vals that are not realizable, and therefore risk creating bad bounds.
* Enforce rule that laziness is preserved when overriding.Martin Odersky2016-02-091-1/+7
|
* Reorganize tests to account for new typing of projectionMartin Odersky2016-02-094-21/+79
| | | | | | Tests with failed projections are moved to pos-scala2, which was renamed from pos-special. Files in pos-scala2 are compiled with -language:Scala2 option.
* Also consider type aliases when checking for realizabilityMartin Odersky2016-02-091-0/+24
| | | | Fixes #50.
* Use isRealizable to identify stable prefixesMartin Odersky2016-02-091-9/+9
| | | | | | | Replaces isVolatile, which is too weak (and more complicated). Backwards compatibility with Scala2 is ensured by dropping the requirement in Scala2 mode. Fixes #1047, which now compiles without inifinite recursion.
* No volatile check needed for strict vals.Martin Odersky2016-02-091-9/+9
|
* Handle "missing args" case when expected type is a singleton type.Martin Odersky2016-02-051-0/+11
| | | | Fixes #803.
* Check AppliedTypeTrees bounds inside AppliedTypeTreeGuillaume Martres2016-01-181-0/+5
|
* Adapt and add testsMartin Odersky2016-01-183-7/+143
| | | | | New test that exhibited the problem is ski.scala. Previously this did not fail with a bounds violation.
* Fix checkNonCyclic.Martin Odersky2016-01-161-0/+8
| | | | | | | Need to also look info refined types. Need to handle case where we hit a NoCompleter again. Fixes #974 and makes MutableSortedSetFactory in stdlib compile.
* Fix #1009: Do not forget to skolemize some typesGuillaume Martres2015-12-241-0/+13
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 23:34:57 +0000