Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #895: Maintain keep file during bootstrap | Dmitry Petrashko | 2015-10-31 | 1 | -0/+2 |
| | |||||
* | Add `out/` folder correctly to gitignore. | Dmitry Petrashko | 2015-10-31 | 1 | -0/+5 |
| | |||||
* | Merge pull request #852 from dotty-staging/fix-script | Dmitry Petrashko | 2015-10-23 | 2 | -1/+2 |
|\ | | | | | Fix bug in dotc script | ||||
| * | Indicate that dotty is being built. | Dmitry Petrashko | 2015-10-23 | 1 | -0/+1 |
| | | |||||
| * | Fix bug in dotc script. | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
|/ | | | | Used to always use bootstrapped version | ||||
* | Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-alias | Dmitry Petrashko | 2015-10-23 | 2 | -1/+17 |
|\ | | | | | Fix #815. | ||||
| * | Fix #815. | Martin Odersky | 2015-10-20 | 2 | -1/+17 |
| | | | | | | | | Need to handle hk-aliases specially in typedNew | ||||
* | | Merge pull request #842 from dotty-staging/fix-838 | Dmitry Petrashko | 2015-10-23 | 2 | -2/+2 |
|\ \ | | | | | | | Fix #838. Fixes to non-local modules& static forwarders. | ||||
| * | | Update version of bundled backend. | Dmitry Petrashko | 2015-10-22 | 1 | -1/+1 |
| | | | |||||
| * | | Fix DottyBackendInterafec.isStaticModuleClass. | Dmitry Petrashko | 2015-10-22 | 1 | -1/+1 |
| | | | | | | | | | | | | Used to pass wrong context. | ||||
* | | | Merge pull request #849 from dotty-staging/fix-#840 | Dmitry Petrashko | 2015-10-23 | 2 | -2/+2 |
|\ \ \ | | | | | | | | | Fix #840 | ||||
| * | | | Don't drop impure expressions when eliding isInstanceOf tests. | Martin Odersky | 2015-10-23 | 1 | -1/+1 |
| | | | | |||||
| * | | | Fix #840 | Martin Odersky | 2015-10-23 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Problem was that interceptTypeTestCasts was run at wrong phase. It saw after erasura a type of the form `x.Array$$T`. Before erasure that type is simply an alias of another type, but after erasure, Arraya$$T is defined to be a type alias of a Wildcard type. | ||||
* | | | | Merge pull request #846 from dotty-staging/fix-#827 | odersky | 2015-10-23 | 5 | -44/+43 |
|\ \ \ \ | |/ / / |/| | | | Fix #827 | ||||
| * | | | Address reviewer comments | Martin Odersky | 2015-10-22 | 1 | -5/+1 |
| | | | | |||||
| * | | | Simplify treatment of merge conflicts | Martin Odersky | 2015-10-22 | 1 | -37/+16 |
| | | | | | | | | | | | | | | | | Now, we always throw a merge error. No more exceptions. | ||||
| * | | | Better handling of merge errors | Martin Odersky | 2015-10-22 | 4 | -4/+21 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Instead of picking one at random, throw a MergeError which might be caught later in mergeDenot. MergeDenot has enough info to pick a simulate Scala2 linarization if the prefix comes from Scala2, or it rethrows the exception so that it becomes a type error. | ||||
| * | | | Check for cyclic inheritance. | Martin Odersky | 2015-10-22 | 1 | -1/+8 |
|/ / / | |||||
* | | | Merge pull request #841 from dotty-staging/fix-#831-object-self | odersky | 2015-10-22 | 3 | -19/+33 |
|\ \ \ | | | | | | | | | Fix #831 object self | ||||
| * | | | Adapt sourceModule to new selfInfo scheme. | Martin Odersky | 2015-10-22 | 2 | -3/+6 |
| | | | | |||||
| * | | | Fix #831 | Martin Odersky | 2015-10-22 | 2 | -17/+28 |
| | | | | | | | | | | | | | | | | | | | | Need to create a self symbols for modules with explicit self type, but need to take care it is already typed, or sourceModule risks running into CyclicReferences. | ||||
* | | | | Merge pull request #835 from dotty-staging/add-more-tests | odersky | 2015-10-22 | 11 | -1/+131 |
|\ \ \ \ | |/ / / |/| | | | Add more tests | ||||
| * | | | Remove empty test file | Martin Odersky | 2015-10-22 | 1 | -0/+0 |
| | | | | |||||
| * | | | More tests | Martin Odersky | 2015-10-21 | 11 | -0/+130 |
| | | | | |||||
| * | | | Remove disgnostic println | Martin Odersky | 2015-10-21 | 1 | -1/+1 |
| |/ / | |||||
* | | | Merge pull request #834 from dotty-staging/fix-#825 | odersky | 2015-10-22 | 15 | -63/+222 |
|\ \ \ | | | | | | | | | Fix #825 | ||||
| * | | | Avoid mutation in checkWellFormed | Martin Odersky | 2015-10-22 | 1 | -4/+5 |
| | | | | | | | | | | | | | | | | It's done anyway later in FirstTransform. | ||||
| * | | | Avoid caching in sigName | Martin Odersky | 2015-10-22 | 1 | -8/+7 |
| | | | | | | | | | | | | | | | | | | | | | | | | Use more complicated control flow with returns instead. sigName is likely performance critical, so some trickiness is justified. | ||||
| * | | | Add well-formedness checking for created symbols | Martin Odersky | 2015-10-22 | 6 | -2/+138 |
| | | | | | | | | | | | | | | | | Enforces various restrictions of definitions. | ||||
| * | | | Hardening of sigName for ill-formed valueclasses | Martin Odersky | 2015-10-22 | 1 | -33/+43 |
| | | | | | | | | | | | | | | | | | | | | | | | | Need to survive even if a value class does not have an underlying type. Also: better diagnostics if sigName goes wrong. | ||||
| * | | | Hardening of Parser against illegal flag combinations | Martin Odersky | 2015-10-22 | 1 | -9/+19 |
| | | | | | | | | | | | | | | | | Avoids accidental combinations of term and type flags. | ||||
| * | | | Avoif follow-on errors for illegal implicit classes | Martin Odersky | 2015-10-22 | 1 | -8/+12 |
| | | | | | | | | | | | | | | | | Supporess creation of implicit factory if it would be illegal. | ||||
| * | | | Fix tests to survive wellformedness checks | Martin Odersky | 2015-10-22 | 7 | -11/+10 |
|/ / / | |||||
* | | | Merge pull request #833 from dotty-staging/explicit-outer | Dmitry Petrashko | 2015-10-22 | 1 | -5/+10 |
|\ \ \ | | | | | | | | | Fix bugs in ExplicitOuter | ||||
| * | | | ExplicitOuter: fix generation of outer methods for indirectly inherited traits. | Dmitry Petrashko | 2015-10-21 | 1 | -4/+9 |
| | | | | |||||
| * | | | ExplicitOuter: methods in classes should not be deferred. | Dmitry Petrashko | 2015-10-21 | 1 | -1/+1 |
| | | | | |||||
* | | | | Merge pull request #837 from dotty-staging/bootstrapped | Dmitry Petrashko | 2015-10-22 | 2 | -3/+41 |
|\ \ \ \ | | | | | | | | | | | Quick&dirty bootstrap | ||||
| * | | | | Quick&dirty bootstrap | Dmitry Petrashko | 2015-10-22 | 2 | -3/+41 |
| | |/ / | |/| | | | | | | | | | | dot script now has -bootstrapped option that will use dotty-compiled-by-dotty. | ||||
* | | | | Merge pull request #836 from dotty-staging/lazy-vals-longs | Dmitry Petrashko | 2015-10-22 | 3 | -3/+68 |
|\ \ \ \ | |/ / / |/| | | | LazyVals: fix underflows in binary shifts. | ||||
| * | | | Test that more than 16 lazy vals can be safely used in one object. | Dmitry Petrashko | 2015-10-22 | 1 | -0/+65 |
| | | | | |||||
| * | | | LazyVals: fix long shifts. | Dmitry Petrashko | 2015-10-22 | 2 | -3/+3 |
| | |/ | |/| | |||||
* | | | Merge pull request #811 from dotty-staging/fix-objects-mixin | Dmitry Petrashko | 2015-10-21 | 4 | -7/+7 |
|\ \ \ | |/ / |/| / | |/ | Fix #810: initialization of inner objects of traits. | ||||
| * | Address reviewer comments #811. | Dmitry Petrashko | 2015-10-12 | 3 | -7/+5 |
| | | |||||
| * | Mixin: materialise rhs for inherited scala2 modules | Dmitry Petrashko | 2015-09-29 | 1 | -1/+3 |
| | | |||||
| * | ExplicitOuter: Scala2 inner modules always require outer pointer. | Dmitry Petrashko | 2015-09-29 | 1 | -3/+2 |
| | | |||||
| * | UnpickleScala2: Scala modules do not set Lazy Flag. | Dmitry Petrashko | 2015-09-29 | 1 | -1/+4 |
| | | | | | | | | Dotty modules do. | ||||
| * | Typer: remove unused TyperContextOps | Dmitry Petrashko | 2015-09-29 | 1 | -2/+0 |
| | | |||||
* | | Merge pull request #821 from dotty-staging/fix-check-simple-kinded | Dmitry Petrashko | 2015-10-20 | 5 | -6/+25 |
|\ \ | | | | | | | Check that some types are not higher-kinded. | ||||
| * | | Check that some types are not higher-kinded. | Martin Odersky | 2015-10-07 | 5 | -6/+25 |
| | | | | | | | | | | | | Invalidates #813. Review by @darkdimius. | ||||
* | | | Merge pull request #823 from smarter/fix/lifting-and-inference | Guillaume Martres | 2015-10-19 | 7 | -44/+59 |
|\ \ \ | | | | | | | | | Always fully define the types of lifted expressions |