Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Neg tests: remove negTest flag; neg tests are binded to neg directory | VladimirNik | 2016-03-03 | 1 | -0/+9 | |
| | ||||||
* | Neg tests: remove xerror parameter from tests (compute based on // error) | VladimirNik | 2016-03-03 | 11 | -58/+12 | |
| | ||||||
* | Merge pull request #1111 from dotty-staging/fix-#1099 | Dmitry Petrashko | 2016-03-02 | 1 | -38/+0 | |
|\ | | | | | Special case pattern matching against abstract types with class tags | |||||
| * | Remove bogus test on rebasing | Martin Odersky | 2016-02-20 | 1 | -38/+0 | |
| | | ||||||
* | | Merge pull request #1112 from dotty-staging/value-classes-private-this-param | Dmitry Petrashko | 2016-02-20 | 1 | -2/+0 | |
|\ \ | |/ |/| | Value classes: add support for private[this] parameter | |||||
| * | Add support for private[this] parameter in value classes | VladimirNik | 2016-02-19 | 1 | -2/+0 | |
| | | ||||||
* | | Merge pull request #1066 from dotty-staging/fix-#997 | odersky | 2016-02-19 | 2 | -0/+66 | |
|\ \ | | | | | | | Fix #997 | |||||
| * | | Add error markers | Martin Odersky | 2016-02-19 | 1 | -2/+2 | |
| | | | ||||||
| * | | Move leak detection to Checking | Martin Odersky | 2016-02-19 | 1 | -0/+2 | |
| | | | | | | | | | | | | Also: include a test that private aliases are transparent. | |||||
| * | | Add checking for leaking private definitions | Martin Odersky | 2016-02-19 | 1 | -0/+45 | |
| | | | | | | | | | | | | First version. Fixes #997. | |||||
| * | | Copy access flags to derived definitions during desugaring | Martin Odersky | 2016-02-19 | 1 | -0/+19 | |
| |/ | | | | | | | Previously, some definitions were too public, others too private. | |||||
* | | Merge pull request #1072 from dotty-staging/change-isVolatile-2 | odersky | 2016-02-19 | 2 | -6/+41 | |
|\ \ | |/ |/| | Change is volatile 2 | |||||
| * | Allow Named Arguments in TypeArgs | Martin Odersky | 2016-02-19 | 1 | -0/+12 | |
| | | | | | | | | Lets one also pass named arguments to methods. | |||||
| * | Annotate test with // error indications | Martin Odersky | 2016-02-19 | 1 | -6/+7 | |
| | | | | | | | | | | We had same fleyness in number of errors of cycle.scala which prompted this. | |||||
| * | Check named type params for welformedness rules. | Martin Odersky | 2016-02-19 | 1 | -0/+22 | |
| | | ||||||
* | | Merge pull request #1106 from dotty-staging/neg-lines | Dmitry Petrashko | 2016-02-19 | 47 | -136/+137 | |
|\ \ | |/ |/| | Neg tests check files for // error markers (rebased and updated) | |||||
| * | Adapt neg tests to new neg tests checks | VladimirNik | 2016-02-18 | 17 | -55/+55 | |
| | | ||||||
| * | Negtests with // error comments | vsalvis | 2016-02-18 | 34 | -94/+95 | |
| | | ||||||
* | | Merge pull request #898 from dotty-staging/add/auto-uncurry | odersky | 2016-02-18 | 1 | -0/+28 | |
|\ \ | |/ |/| | Implement auto tupling of function arguments | |||||
| * | Strengthen requirement for auto-tupling | Martin Odersky | 2016-02-16 | 1 | -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 tests | Martin Odersky | 2016-02-16 | 1 | -1/+3 | |
| | | | | | | | | Tests suggested by @retronym's comments on issue #897. | |||||
| * | Auto-uncurry n-ary functions. | Martin Odersky | 2016-02-16 | 1 | -0/+22 | |
| | | | | | | | | Implements SIP #897. | |||||
* | | Add checks for value classes: | VladimirNik | 2016-02-16 | 1 | -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-#645 | Dmitry Petrashko | 2016-02-12 | 1 | -0/+15 | |
|\ | | | | | Add test case for #645 | |||||
| * | Add test case for #645 | Martin Odersky | 2016-02-12 | 1 | -0/+15 | |
| | | ||||||
* | | Survive class of errors in implicit search | Martin Odersky | 2016-02-12 | 1 | -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 Odersky | 2016-02-09 | 2 | -14/+21 | |
| | ||||||
* | New test files from SI 7278. | Martin Odersky | 2016-02-09 | 1 | -0/+42 | |
| | ||||||
* | Big realizability refactoring | Martin Odersky | 2016-02-09 | 5 | -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 checking | Martin Odersky | 2016-02-09 | 1 | -0/+27 | |
| | ||||||
* | Drop lines from test | Martin Odersky | 2016-02-09 | 2 | -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 Odersky | 2016-02-09 | 1 | -3/+18 | |
| | ||||||
* | Handle imports in path checks. | Martin Odersky | 2016-02-09 | 1 | -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 disgnastics | Martin Odersky | 2016-02-09 | 1 | -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 Odersky | 2016-02-09 | 2 | -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 Odersky | 2016-02-09 | 1 | -1/+7 | |
| | ||||||
* | Reorganize tests to account for new typing of projection | Martin Odersky | 2016-02-09 | 4 | -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 realizability | Martin Odersky | 2016-02-09 | 1 | -0/+24 | |
| | | | | Fixes #50. | |||||
* | Use isRealizable to identify stable prefixes | Martin Odersky | 2016-02-09 | 1 | -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 Odersky | 2016-02-09 | 1 | -9/+9 | |
| | ||||||
* | Handle "missing args" case when expected type is a singleton type. | Martin Odersky | 2016-02-05 | 1 | -0/+11 | |
| | | | | Fixes #803. | |||||
* | Check AppliedTypeTrees bounds inside AppliedTypeTree | Guillaume Martres | 2016-01-18 | 1 | -0/+5 | |
| | ||||||
* | Adapt and add tests | Martin Odersky | 2016-01-18 | 3 | -7/+143 | |
| | | | | | New test that exhibited the problem is ski.scala. Previously this did not fail with a bounds violation. | |||||
* | Fix checkNonCyclic. | Martin Odersky | 2016-01-16 | 1 | -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 types | Guillaume Martres | 2015-12-24 | 1 | -0/+13 | |
| | ||||||
* | Update test error count | Martin Odersky | 2015-12-22 | 1 | -2/+2 | |
| | | | | | One error gest supporessed now because it has the same position as a previous one. | |||||
* | Fix off by 2 error for symbol positions | Martin Odersky | 2015-12-22 | 1 | -5/+0 | |
| | ||||||
* | Add test case | Martin Odersky | 2015-12-19 | 1 | -0/+40 | |
| | ||||||
* | Check types for overriding conditions. | Martin Odersky | 2015-12-14 | 1 | -0/+18 | |
| | | | | Closes #241 -- that took a while! | |||||
* | Better diagnosis for cyclic references caused by class clashes. | Martin Odersky | 2015-12-14 | 2 | -19/+20 | |
| | | | | | | | We now get a cyclic reference when inheriting from an inner class with the same name in an outer supertype. Since this was legal in Scala2 it's good to explain that particular case. Test case in overrideClass.scala |