aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Don't emit copy method for case classes with repeated parameters.Martin Odersky2014-12-202-1/+5
| | | | | | | | scalac has the same restriction. The reason is that we do not have a means to specify a sequence-valued default for a vararg parameter. It would be nice if we could, but this requires a more substantial development effort.
* New passing tests.Martin Odersky2014-12-192-0/+31
|
* Harden implicit scope computation against CyclicReference errors.Martin Odersky2014-12-194-33/+6
|
* Removed dead code.Martin Odersky2014-12-191-5/+1
| | | | isUnboundedGeneric imples !JavaDefined anyway.
* Fix isUnboundedGeneric for alias types.Martin Odersky2014-12-192-3/+55
| | | | | Fixes problem in test case SI-7638a.scala which gave an override error before.
* Avoid name clashes when generating synthetic companion objects.Martin Odersky2014-12-195-7/+31
|
* Eliminate unused method from RefChecks.Martin Odersky2014-12-191-6/+0
|
* Test re-org.Martin Odersky2014-12-196-23/+3
| | | | Moved some working test to pos. I wonder why they were in pending? They did work for me.
* Fix NoCyclicReference testMartin Odersky2014-12-192-11/+11
| | | | | | The problem was that, unlike a classDefSig, a higher-kinded typeDefSig did not get a preset info with its type parameters. So any type-application of the defined type in its bounds would fail.
* Disable context escape detectionMartin Odersky2014-12-191-2/+3
| | | | | | | | | I get very frequent build failures due to the mutual Scala<->Java dependency. It builds for a long time, then decides that getCtx overrides nothing. The only way to fix is another clean build. Total time lost: >5 minutes. These happened occasionally before but have become much more frequent under ScalaIDe4.0, to the point where this becomes a major drag on productity. Context escape detection is nice but if it stops us getting work done, not worth the effort.
* Merge pull request #271 from dotty-staging/fix/i268-gadtsodersky2014-12-196-45/+67
|\ | | | | Fixed #264 - failure to typecheck GADTs
| * Made gadt map better encapsulated.Martin Odersky2014-12-163-3/+8
| |
| * Fixed #264 - failure to typecheck GADTsMartin Odersky2014-12-166-45/+62
| | | | | | | | | | | | | | | | | | | | | | | | The previous scheme derived the right bounds, but then failed to use them because a TypeRef already has a set info (its bounds). Changing the bounds in the symbol by a side effect does not affect that. This is good! But it showed that the previous scheme was too fragile because it used a sneaky side effect when updating the symbol info which failed to propgate into the cached info in TypeRef. We now keep GADT computed bounds separate form the symbol info in a map `gadt` in the current context.
* | Merge pull request #308 from smarter/change/Ylog-2odersky2014-12-183-18/+23
|\ \ | | | | | | -Ylog:X now only log phase X, use -Ylog:X+ to also log phase X+1
| * | -Ylog:X now only log phase X, use -Ylog:X+ to also log phase X+1Guillaume Martres2014-12-183-18/+23
| | |
* | | Merge pull request #307 from smarter/simplify/TypeAlias-unapplyodersky2014-12-181-4/+1
|\ \ \ | | | | | | | | Simplify TypeAlias#unapply
| * | | Simplify TypeAlias#unapplyGuillaume Martres2014-12-171-4/+1
| |/ /
* | | Merge pull request #303 from dotty-staging/fix-packageObjects-members-erasureDmitry Petrashko2014-12-184-18/+25
|\ \ \ | |/ / |/| | Make erasure insert `.package` in TermRefs to members of package object.
| * | Simplified and commented makePackageObjPrefixExplicitMartin Odersky2014-12-173-4/+9
| | |
| * | Refactored common behavior from TypeAssigner and TypeErasureMartin Odersky2014-12-173-22/+19
| | |
| * | Treat i0239 specially. It shows some problems that could be of interest.Dmitry Petrashko2014-12-171-0/+1
| | |
| * | Make erasure insert `.package` in refernecesDmitry Petrashko2014-12-171-0/+4
|/ /
* | Merge pull request #251 from dotty-staging/shared-backendDmitry Petrashko2014-12-1773-76/+3900
|\ \ | | | | | | Shared backend
| * | Enable backend specific tests. Flag those that failDmitry Petrashko2014-12-162-15/+25
| | |
| * | Stay compatible with scalac and javac in -d cli optionDmitry Petrashko2014-12-161-1/+1
| | |
| * | Make String_valueOf_Object agnostic of whether it runs before or after erasureDmitry Petrashko2014-12-161-1/+1
| | |
| * | Update docs and make memberClasses uses typeNameFilter.Dmitry Petrashko2014-12-161-4/+4
| | |
| * | Update version of scalac forkDmitry Petrashko2014-12-162-2/+2
| | |
| * | Fix concatenation of multiple stringsDmitry Petrashko2014-12-161-1/+1
| | |
| * | Handle Array.cloneDmitry Petrashko2014-12-162-9/+20
| | |
| * | Fix loading of static methods in java.lang.String.Dmitry Petrashko2014-12-161-1/+1
| | | | | | | | | | | | Didn't manifest itself previously.
| * | Use correct methods to get super interfaces of a class.Dmitry Petrashko2014-12-161-1/+1
| | |
| * | Fix #258: string trailing $ in module names in backend.Dmitry Petrashko2014-12-161-1/+3
| | |
| * | Rely on Trait flag to generate interfaces.Dmitry Petrashko2014-12-162-7/+2
| | |
| * | Desugar dotty Idents to selectsDmitry Petrashko2014-12-161-0/+9
| | |
| * | Untroduce SumUtils.superInterfaces which is different from mixins.Dmitry Petrashko2014-12-161-6/+15
| | |
| * | Add default methods generation.Dmitry Petrashko2014-12-161-1/+2
| | |
| * | Handle JavaSeqLiterals.Dmitry Petrashko2014-12-161-3/+8
| | |
| * | Fix #257 ModuleDefs had invalid constructors.Dmitry Petrashko2014-12-161-1/+1
| | |
| * | Mimic scalac originalOwner.Dmitry Petrashko2014-12-161-7/+13
| | |
| * | Stop using deprecated methods in GenBcode.Dmitry Petrashko2014-12-161-3/+3
| | |
| * | Differentiate between scala and java's flags: private and finalDmitry Petrashko2014-12-161-0/+6
| | |
| * | Adapt backend to changes in scalac: new symbols get positions and types.Dmitry Petrashko2014-12-161-1/+5
| | |
| * | Fix bugs around emulating scalac linkedClassOfClass.Dmitry Petrashko2014-12-161-2/+2
| | |
| * | Fix generation of lambdas for Unit-returning closures.Dmitry Petrashko2014-12-1624-1/+510
| | |
| * | implement isQualifierSafeToElideDmitry Petrashko2014-12-161-1/+1
| | |
| * | Disable PrivateToStatic until it is fixed.Dmitry Petrashko2014-12-161-1/+1
| | |
| * | Fix TypeSymbol for This references in backendDmitry Petrashko2014-12-161-1/+1
| | |
| * | Java8 is the default targetDmitry Petrashko2014-12-161-2/+2
| | |
| * | Mixin makes all traits Java Interfaces.Dmitry Petrashko2014-12-161-1/+1
| | |