Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Fix problems in DropEmptyCompanions | Martin Odersky | 2016-02-11 | 3 | -62/+89 | |
| | | ||||||
| * | Only remove synthetic companion objects | Martin Odersky | 2016-02-11 | 2 | -3/+6 | |
| | | | | | | | | | | If the object was explicitly written, it might be referenced, even if it is empty. | |||||
| * | Move test to pending | Martin Odersky | 2016-02-11 | 1 | -0/+5 | |
| | | | | | | | | | | | | | | | | | | | | The underlying problem on MacOS/Windows remains: We have a class `B` and an object `b` in the same scope. We used to get a conflict on `B$/b$` because we created an empty companion object for `B`. Now we get a conflict for `B/b`, because the `b` object creates to classes: `b.class` an `b$.class` and `b.class` clashes with `B.class`. | |||||
| * | New phase to drop empty companion objects | Martin Odersky | 2016-02-11 | 3 | -0/+81 | |
| | | ||||||
| * | Abstract out lazy local names somewhat | Martin Odersky | 2016-02-11 | 2 | -6/+13 | |
| | | | | | | | | | | | | | | | | Add operations to NameOps to detect and produce names for lazy locals. @darkdimius Maybe there is already another way to do this? I could not find it. | |||||
* | | Merge pull request #1080 from dotty-staging/fix-#619 | Dmitry Petrashko | 2016-02-12 | 4 | -3/+11 | |
|\ \ | | | | | | | Document dotty internal Annotations | |||||
| * | | Document dotty internal Annotations | Martin Odersky | 2016-02-12 | 4 | -3/+11 | |
| |/ | ||||||
* | | Merge pull request #1079 from dotty-staging/fix-#435 | Dmitry Petrashko | 2016-02-12 | 1 | -1/+1 | |
|\ \ | | | | | | | Fix #435 | |||||
| * | | Improve error message | Martin Odersky | 2016-02-12 | 1 | -1/+1 | |
| | | | | | | | | | | | | ... when package clashes with same-named object. | |||||
* | | | Merge pull request #1076 from dotty-staging/fix/run-tests-memory | Dmitry Petrashko | 2016-02-12 | 2 | -2/+11 | |
|\ \ \ | | | | | | | | | partest: run tests with -Xms64M -Xmx1024M instead of JVM defaults | |||||
| * | | | partest: run tests with -Xms64M -Xmx1024M instead of JVM defaults | Guillaume Martres | 2016-02-11 | 2 | -2/+11 | |
| | |/ | |/| | | | | | | | | | | | | | This is the same settings that scalac uses, this should help use avoid using too much memory (the default on 64 bits Linux seems to be -Xms248M -Xmx3938M). | |||||
* | | | Merge pull request #1081 from dotty-staging/fix-#645 | Dmitry Petrashko | 2016-02-12 | 2 | -0/+1 | |
|\ \ \ | | | | | | | | | Add test case for #645 | |||||
| * | | | Add test case for #645 | Martin Odersky | 2016-02-12 | 2 | -0/+1 | |
| |/ / | ||||||
* | | | Merge pull request #1078 from dotty-staging/fix-#324 | Guillaume Martres | 2016-02-12 | 5 | -2/+21 | |
|\ \ \ | |/ / |/| / | |/ | Better handling enclosing class computations | |||||
| * | Allow enclosing module as qualifying class | Martin Odersky | 2016-02-12 | 2 | -1/+13 | |
| | | ||||||
| * | Survive class of errors in implicit search | Martin Odersky | 2016-02-12 | 3 | -1/+8 | |
|/ | | | | | | | | 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. | |||||
* | Merge pull request #1071 from dotty-staging/add/more-tests | odersky | 2016-02-10 | 8 | -3/+3 | |
|\ | | | | | Enable tests for old fixed issues | |||||
| * | Enable tests for old fixed issues | Guillaume Martres | 2016-02-09 | 8 | -3/+3 | |
|/ | | | | Fix #530, #654, #681, #684, #685 | |||||
* | Merge pull request #1051 from dotty-staging/change-isVolatile | odersky | 2016-02-09 | 36 | -166/+633 | |
|\ | | | | | Change is volatile | |||||
| * | Fix commpilation error | Martin Odersky | 2016-02-09 | 1 | -3/+7 | |
| | | ||||||
| * | By-name parameters are not stable values. | Martin Odersky | 2016-02-09 | 5 | -27/+30 | |
| | | ||||||
| * | New test files from SI 7278. | Martin Odersky | 2016-02-09 | 2 | -0/+74 | |
| | | ||||||
| * | Perform typer realizability checks only during Typer. | Martin Odersky | 2016-02-09 | 1 | -2/+2 | |
| | | ||||||
| * | Big realizability refactoring | Martin Odersky | 2016-02-09 | 12 | -168/+300 | |
| | | | | | | | | | | | | | | 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 | 3 | -4/+69 | |
| | | ||||||
| * | Consider by name parameters as lazily initialized | Martin Odersky | 2016-02-09 | 1 | -1/+7 | |
| | | | | | | | | should be terated analogous to lazy vals for realizability checking. | |||||
| * | Remove isVolatile and DNF methods | Martin Odersky | 2016-02-09 | 1 | -91/+1 | |
| | | | | | | | | These are replaced by the realizibility logic. | |||||
| * | Drop lines from test | Martin Odersky | 2016-02-09 | 3 | -5/+3 | |
| | | | | | | | | | | | | | | 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 | 4 | -14/+41 | |
| | | ||||||
| * | Fix isRealizableTest | Martin Odersky | 2016-02-09 | 1 | -1/+1 | |
| | | | | | | | | Need to demand "effecively final" instead of `is(Final)`. | |||||
| * | Handle imports in path checks. | Martin Odersky | 2016-02-09 | 3 | -12/+12 | |
| | | | | | | | | | | | | | | | | | | | | 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 | 4 | -8/+23 | |
| | | | | | | | | | | 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 | 4 | -4/+36 | |
| | | | | | | | | | | | | 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 | 7 | -11/+23 | |
| | | ||||||
| * | Reorganize tests to account for new typing of projection | Martin Odersky | 2016-02-09 | 18 | -42/+112 | |
| | | | | | | | | | | | | 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. | |||||
| * | Cleanup of isEffectivelyFinal | Martin Odersky | 2016-02-09 | 1 | -7/+4 | |
| | | | | | | | | | | | | | | | | | | EffectivelyFinal came without documentation, so it was not clear what is was supposed to compute. I looked at the use sites, and it seems that all they need is "impossible to override". So I changed the code to do that and dropped the additional condition that members of modules or final classes were not allowed to be lazy or mutable. It was not clear to me what that had to do with finality. | |||||
| * | Move realizability logic from Types to TypeOps. | Martin Odersky | 2016-02-09 | 4 | -44/+45 | |
| | | | | | | | | Types is already big enough. | |||||
| * | Realizability refactoring | Martin Odersky | 2016-02-09 | 5 | -27/+58 | |
| | | | | | | | | | | | | Distinguish between isStable and isRealizable. Issue migration warnings for realizibility failures. Provide error diagnostics why something is not realizable. | |||||
| * | Also consider type aliases when checking for realizability | Martin Odersky | 2016-02-09 | 3 | -1/+41 | |
| | | | | | | | | Fixes #50. | |||||
| * | Move scala2Mode test from isStable to isRealizable | Martin Odersky | 2016-02-09 | 2 | -5/+5 | |
| | | | | | | | | This prepares the way for using isRealizable in different contexts. | |||||
| * | Use isRealizable to identify stable prefixes | Martin Odersky | 2016-02-09 | 5 | -11/+61 | |
| | | | | | | | | | | | | | | 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 | 2 | -10/+10 | |
| | | ||||||
* | | Merge pull request #1058 from dotty-staging/fix-#864-v2 | Guillaume Martres | 2016-02-09 | 4 | -9/+94 | |
|\ \ | |/ |/| | Prune constraints that could turn into cycles | |||||
| * | Fix documentation of ConstraintHandling#addConstraint | Guillaume Martres | 2016-02-08 | 1 | -1/+1 | |
| | | ||||||
| * | Fix documentation of Config.checkConstraintsSeparated | Guillaume Martres | 2016-02-08 | 1 | -4/+4 | |
| | | ||||||
| * | Avoid `related` buffer in `addConstraint`. | Martin Odersky | 2016-02-05 | 1 | -11/+17 | |
| | | ||||||
| * | Narrow problematic constraint instead of widening it. | Martin Odersky | 2016-02-05 | 1 | -8/+22 | |
| | | ||||||
| * | Fix docs and naming | Martin Odersky | 2016-02-05 | 2 | -6/+9 | |
| | | ||||||
| * | Prune constraints that could turn into cycles | Martin Odersky | 2016-02-05 | 3 | -3/+65 | |
| | | | | | | | | Fixes #864. Review by @smarter. | |||||
* | | Merge pull request #1053 from dotty-staging/fix-#1045 | odersky | 2016-02-08 | 5 | -25/+90 | |
|\ \ | | | | | | | Fix #1045 |