Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Don't emit copy method for case classes with repeated parameters. | Martin Odersky | 2014-12-20 | 2 | -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 Odersky | 2014-12-19 | 2 | -0/+31 |
| | |||||
* | Harden implicit scope computation against CyclicReference errors. | Martin Odersky | 2014-12-19 | 4 | -33/+6 |
| | |||||
* | Removed dead code. | Martin Odersky | 2014-12-19 | 1 | -5/+1 |
| | | | | isUnboundedGeneric imples !JavaDefined anyway. | ||||
* | Fix isUnboundedGeneric for alias types. | Martin Odersky | 2014-12-19 | 2 | -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 Odersky | 2014-12-19 | 5 | -7/+31 |
| | |||||
* | Eliminate unused method from RefChecks. | Martin Odersky | 2014-12-19 | 1 | -6/+0 |
| | |||||
* | Test re-org. | Martin Odersky | 2014-12-19 | 6 | -23/+3 |
| | | | | Moved some working test to pos. I wonder why they were in pending? They did work for me. | ||||
* | Fix NoCyclicReference test | Martin Odersky | 2014-12-19 | 2 | -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 detection | Martin Odersky | 2014-12-19 | 1 | -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-gadts | odersky | 2014-12-19 | 6 | -45/+67 |
|\ | | | | | Fixed #264 - failure to typecheck GADTs | ||||
| * | Made gadt map better encapsulated. | Martin Odersky | 2014-12-16 | 3 | -3/+8 |
| | | |||||
| * | Fixed #264 - failure to typecheck GADTs | Martin Odersky | 2014-12-16 | 6 | -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-2 | odersky | 2014-12-18 | 3 | -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+1 | Guillaume Martres | 2014-12-18 | 3 | -18/+23 |
| | | | |||||
* | | | Merge pull request #307 from smarter/simplify/TypeAlias-unapply | odersky | 2014-12-18 | 1 | -4/+1 |
|\ \ \ | | | | | | | | | Simplify TypeAlias#unapply | ||||
| * | | | Simplify TypeAlias#unapply | Guillaume Martres | 2014-12-17 | 1 | -4/+1 |
| |/ / | |||||
* | | | Merge pull request #303 from dotty-staging/fix-packageObjects-members-erasure | Dmitry Petrashko | 2014-12-18 | 4 | -18/+25 |
|\ \ \ | |/ / |/| | | Make erasure insert `.package` in TermRefs to members of package object. | ||||
| * | | Simplified and commented makePackageObjPrefixExplicit | Martin Odersky | 2014-12-17 | 3 | -4/+9 |
| | | | |||||
| * | | Refactored common behavior from TypeAssigner and TypeErasure | Martin Odersky | 2014-12-17 | 3 | -22/+19 |
| | | | |||||
| * | | Treat i0239 specially. It shows some problems that could be of interest. | Dmitry Petrashko | 2014-12-17 | 1 | -0/+1 |
| | | | |||||
| * | | Make erasure insert `.package` in referneces | Dmitry Petrashko | 2014-12-17 | 1 | -0/+4 |
|/ / | |||||
* | | Merge pull request #251 from dotty-staging/shared-backend | Dmitry Petrashko | 2014-12-17 | 73 | -76/+3900 |
|\ \ | | | | | | | Shared backend | ||||
| * | | Enable backend specific tests. Flag those that fail | Dmitry Petrashko | 2014-12-16 | 2 | -15/+25 |
| | | | |||||
| * | | Stay compatible with scalac and javac in -d cli option | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | Make String_valueOf_Object agnostic of whether it runs before or after erasure | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | Update docs and make memberClasses uses typeNameFilter. | Dmitry Petrashko | 2014-12-16 | 1 | -4/+4 |
| | | | |||||
| * | | Update version of scalac fork | Dmitry Petrashko | 2014-12-16 | 2 | -2/+2 |
| | | | |||||
| * | | Fix concatenation of multiple strings | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | Handle Array.clone | Dmitry Petrashko | 2014-12-16 | 2 | -9/+20 |
| | | | |||||
| * | | Fix loading of static methods in java.lang.String. | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | | | | | | | | | | | Didn't manifest itself previously. | ||||
| * | | Use correct methods to get super interfaces of a class. | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | Fix #258: string trailing $ in module names in backend. | Dmitry Petrashko | 2014-12-16 | 1 | -1/+3 |
| | | | |||||
| * | | Rely on Trait flag to generate interfaces. | Dmitry Petrashko | 2014-12-16 | 2 | -7/+2 |
| | | | |||||
| * | | Desugar dotty Idents to selects | Dmitry Petrashko | 2014-12-16 | 1 | -0/+9 |
| | | | |||||
| * | | Untroduce SumUtils.superInterfaces which is different from mixins. | Dmitry Petrashko | 2014-12-16 | 1 | -6/+15 |
| | | | |||||
| * | | Add default methods generation. | Dmitry Petrashko | 2014-12-16 | 1 | -1/+2 |
| | | | |||||
| * | | Handle JavaSeqLiterals. | Dmitry Petrashko | 2014-12-16 | 1 | -3/+8 |
| | | | |||||
| * | | Fix #257 ModuleDefs had invalid constructors. | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | Mimic scalac originalOwner. | Dmitry Petrashko | 2014-12-16 | 1 | -7/+13 |
| | | | |||||
| * | | Stop using deprecated methods in GenBcode. | Dmitry Petrashko | 2014-12-16 | 1 | -3/+3 |
| | | | |||||
| * | | Differentiate between scala and java's flags: private and final | Dmitry Petrashko | 2014-12-16 | 1 | -0/+6 |
| | | | |||||
| * | | Adapt backend to changes in scalac: new symbols get positions and types. | Dmitry Petrashko | 2014-12-16 | 1 | -1/+5 |
| | | | |||||
| * | | Fix bugs around emulating scalac linkedClassOfClass. | Dmitry Petrashko | 2014-12-16 | 1 | -2/+2 |
| | | | |||||
| * | | Fix generation of lambdas for Unit-returning closures. | Dmitry Petrashko | 2014-12-16 | 24 | -1/+510 |
| | | | |||||
| * | | implement isQualifierSafeToElide | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | Disable PrivateToStatic until it is fixed. | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | Fix TypeSymbol for This references in backend | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | Java8 is the default target | Dmitry Petrashko | 2014-12-16 | 1 | -2/+2 |
| | | | |||||
| * | | Mixin makes all traits Java Interfaces. | Dmitry Petrashko | 2014-12-16 | 1 | -1/+1 |
| | | |