aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix #895: Maintain keep file during bootstrapDmitry Petrashko2015-10-311-0/+2
|
* Add `out/` folder correctly to gitignore.Dmitry Petrashko2015-10-311-0/+5
|
* Merge pull request #852 from dotty-staging/fix-scriptDmitry Petrashko2015-10-232-1/+2
|\ | | | | Fix bug in dotc script
| * Indicate that dotty is being built.Dmitry Petrashko2015-10-231-0/+1
| |
| * Fix bug in dotc script.Dmitry Petrashko2015-10-231-1/+1
|/ | | | Used to always use bootstrapped version
* Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-aliasDmitry Petrashko2015-10-232-1/+17
|\ | | | | Fix #815.
| * Fix #815.Martin Odersky2015-10-202-1/+17
| | | | | | | | Need to handle hk-aliases specially in typedNew
* | Merge pull request #842 from dotty-staging/fix-838Dmitry Petrashko2015-10-232-2/+2
|\ \ | | | | | | Fix #838. Fixes to non-local modules& static forwarders.
| * | Update version of bundled backend.Dmitry Petrashko2015-10-221-1/+1
| | |
| * | Fix DottyBackendInterafec.isStaticModuleClass.Dmitry Petrashko2015-10-221-1/+1
| | | | | | | | | | | | Used to pass wrong context.
* | | Merge pull request #849 from dotty-staging/fix-#840Dmitry Petrashko2015-10-232-2/+2
|\ \ \ | | | | | | | | Fix #840
| * | | Don't drop impure expressions when eliding isInstanceOf tests.Martin Odersky2015-10-231-1/+1
| | | |
| * | | Fix #840Martin Odersky2015-10-231-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-#827odersky2015-10-235-44/+43
|\ \ \ \ | |/ / / |/| | | Fix #827
| * | | Address reviewer commentsMartin Odersky2015-10-221-5/+1
| | | |
| * | | Simplify treatment of merge conflictsMartin Odersky2015-10-221-37/+16
| | | | | | | | | | | | | | | | Now, we always throw a merge error. No more exceptions.
| * | | Better handling of merge errorsMartin Odersky2015-10-224-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 Odersky2015-10-221-1/+8
|/ / /
* | | Merge pull request #841 from dotty-staging/fix-#831-object-selfodersky2015-10-223-19/+33
|\ \ \ | | | | | | | | Fix #831 object self
| * | | Adapt sourceModule to new selfInfo scheme.Martin Odersky2015-10-222-3/+6
| | | |
| * | | Fix #831Martin Odersky2015-10-222-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-testsodersky2015-10-2211-1/+131
|\ \ \ \ | |/ / / |/| | | Add more tests
| * | | Remove empty test fileMartin Odersky2015-10-221-0/+0
| | | |
| * | | More testsMartin Odersky2015-10-2111-0/+130
| | | |
| * | | Remove disgnostic printlnMartin Odersky2015-10-211-1/+1
| |/ /
* | | Merge pull request #834 from dotty-staging/fix-#825odersky2015-10-2215-63/+222
|\ \ \ | | | | | | | | Fix #825
| * | | Avoid mutation in checkWellFormedMartin Odersky2015-10-221-4/+5
| | | | | | | | | | | | | | | | It's done anyway later in FirstTransform.
| * | | Avoid caching in sigNameMartin Odersky2015-10-221-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 symbolsMartin Odersky2015-10-226-2/+138
| | | | | | | | | | | | | | | | Enforces various restrictions of definitions.
| * | | Hardening of sigName for ill-formed valueclassesMartin Odersky2015-10-221-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 combinationsMartin Odersky2015-10-221-9/+19
| | | | | | | | | | | | | | | | Avoids accidental combinations of term and type flags.
| * | | Avoif follow-on errors for illegal implicit classesMartin Odersky2015-10-221-8/+12
| | | | | | | | | | | | | | | | Supporess creation of implicit factory if it would be illegal.
| * | | Fix tests to survive wellformedness checksMartin Odersky2015-10-227-11/+10
|/ / /
* | | Merge pull request #833 from dotty-staging/explicit-outerDmitry Petrashko2015-10-221-5/+10
|\ \ \ | | | | | | | | Fix bugs in ExplicitOuter
| * | | ExplicitOuter: fix generation of outer methods for indirectly inherited traits.Dmitry Petrashko2015-10-211-4/+9
| | | |
| * | | ExplicitOuter: methods in classes should not be deferred.Dmitry Petrashko2015-10-211-1/+1
| | | |
* | | | Merge pull request #837 from dotty-staging/bootstrappedDmitry Petrashko2015-10-222-3/+41
|\ \ \ \ | | | | | | | | | | Quick&dirty bootstrap
| * | | | Quick&dirty bootstrapDmitry Petrashko2015-10-222-3/+41
| | |/ / | |/| | | | | | | | | | dot script now has -bootstrapped option that will use dotty-compiled-by-dotty.
* | | | Merge pull request #836 from dotty-staging/lazy-vals-longsDmitry Petrashko2015-10-223-3/+68
|\ \ \ \ | |/ / / |/| | | LazyVals: fix underflows in binary shifts.
| * | | Test that more than 16 lazy vals can be safely used in one object.Dmitry Petrashko2015-10-221-0/+65
| | | |
| * | | LazyVals: fix long shifts.Dmitry Petrashko2015-10-222-3/+3
| | |/ | |/|
* | | Merge pull request #811 from dotty-staging/fix-objects-mixinDmitry Petrashko2015-10-214-7/+7
|\ \ \ | |/ / |/| / | |/ Fix #810: initialization of inner objects of traits.
| * Address reviewer comments #811.Dmitry Petrashko2015-10-123-7/+5
| |
| * Mixin: materialise rhs for inherited scala2 modulesDmitry Petrashko2015-09-291-1/+3
| |
| * ExplicitOuter: Scala2 inner modules always require outer pointer.Dmitry Petrashko2015-09-291-3/+2
| |
| * UnpickleScala2: Scala modules do not set Lazy Flag.Dmitry Petrashko2015-09-291-1/+4
| | | | | | | | Dotty modules do.
| * Typer: remove unused TyperContextOpsDmitry Petrashko2015-09-291-2/+0
| |
* | Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-205-6/+25
|\ \ | | | | | | Check that some types are not higher-kinded.
| * | Check that some types are not higher-kinded.Martin Odersky2015-10-075-6/+25
| | | | | | | | | | | | Invalidates #813. Review by @darkdimius.
* | | Merge pull request #823 from smarter/fix/lifting-and-inferenceGuillaume Martres2015-10-197-44/+59
|\ \ \ | | | | | | | | Always fully define the types of lifted expressions