Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Merge pull request #792 from dotty-staging/dotc-tasty | Dmitry Petrashko | 2015-09-16 | 1 | -1/+2 | |
|\ \ | |/ |/| | bin/dotc: add an option to run -tasty. | |||||
| * | bin/dotc: add an option to run -tasty. | Dmitry Petrashko | 2015-09-14 | 1 | -1/+2 | |
| | | | | | | | | @vladimirNik, should simplify your life | |||||
* | | Merge pull request #790 from dotty-staging/mixin-traitsetters | Dmitry Petrashko | 2015-09-15 | 77 | -2/+11 | |
|\ \ | | | | | | | Memoize: Support creating valid trait setters | |||||
| * | | Enable more tests that pass | Dmitry Petrashko | 2015-09-14 | 75 | -0/+0 | |
| | | | ||||||
| * | | Typer: allow to assign to vals inside trait setters. | Dmitry Petrashko | 2015-09-14 | 1 | -1/+2 | |
| | | | ||||||
| * | | Mixin: support trait setters. | Dmitry Petrashko | 2015-09-14 | 1 | -1/+9 | |
| |/ | | | | | | | Used to create a separate field from trait setter, as the field name wasn't deconstructed. | |||||
* | | Merge pull request #672 from dotty-staging/compile-dotty2 | Dmitry Petrashko | 2015-09-14 | 0 | -0/+0 | |
|\ \ | |/ |/| | Compile dotty.*, not only dotty.tools. | |||||
| * | Compile dotty.*, not only dotty.tools. | Dmitry Petrashko | 2015-07-23 | 1 | -1/+1 | |
| | | ||||||
* | | Merge pull request #773 from dotty-staging/final-vals2 | Dmitry Petrashko | 2015-09-14 | 9 | -23/+137 | |
|\ \ | | | | | | | Memoize: duplicate scala2 behaviour: don't create fields for final vals. | |||||
| * | | final-fields.scala: tes objects with constant final vals. | Dmitry Petrashko | 2015-09-14 | 1 | -1/+4 | |
| | | | ||||||
| * | | Memoize: bring back comment about how final vals are compiled | Dmitry Petrashko | 2015-09-14 | 1 | -0/+4 | |
| | | | ||||||
| * | | Add another test | Martin Odersky | 2015-09-14 | 2 | -1/+6 | |
| | | | | | | | | | | | | | | | Check that calling a side effecting function returning a constant type does not get suppressed. | |||||
| * | | Augment test file | Martin Odersky | 2015-09-14 | 1 | -0/+18 | |
| | | | | | | | | | | | | to test for propagation of constant types. | |||||
| * | | Memoize should produce constant DefDefs for constant final vals. | Martin Odersky | 2015-09-14 | 1 | -11/+10 | |
| | | | | | | | | | | | | It produced just the right hand side literal before. | |||||
| * | | Purity checking should take constant expressions into account. | Martin Odersky | 2015-09-14 | 1 | -3/+11 | |
| | | | | | | | | | | | | | | | | | | | | | A constant expression with pure arguments is pure. Previously, this was not taken into account, which meant that literalize did not work for constant expressions contiaining primitive operations or String adds. | |||||
| * | | Move literalize functionality to PostTyper | Martin Odersky | 2015-09-14 | 2 | -4/+38 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Now, PostTyper replaces constant expressions with literals. If we wait any longer then any tree rewriting of an application node would have to do constant folding again, which is a hassle. With the previous late Literalize phase, constant expressions consisting of operations and arguments lost their constantness in PostTyper. | |||||
| * | | Constant final vals need to have right hand type. | Martin Odersky | 2015-09-14 | 1 | -6/+7 | |
| | | | | | | | | | | | | | | | | | | | | | | | | Previously, a constant right hand side was not propagated to the type of a final val that implemented another val with a given type. The inherited type was used instead. This means final vals implementing abstract vals get evaluated too late. | |||||
| * | | Follow TermRefs when constant folding | Martin Odersky | 2015-09-14 | 2 | -4/+12 | |
| | | | | | | | | | | | | | | | A TermRef representing a constant value needs to be considered a constant when folding. | |||||
| * | | Test behaviour of final vals. | Dmitry Petrashko | 2015-09-14 | 2 | -0/+24 | |
| | | | ||||||
| * | | Memoize: duplicate scala2 behaviour: don't create fields for final vals. | Dmitry Petrashko | 2015-09-14 | 1 | -2/+12 | |
|/ / | | | | | | | This affect initialisation order and we rely on artifacts of initialisation order in Dotty. | |||||
* | | Merge pull request #787 from dotty-staging/fix-#779-recursive-hk-types | Dmitry Petrashko | 2015-09-14 | 3 | -5/+34 | |
|\ \ | | | | | | | Fix #779 recursive hk types | |||||
| * | | Fill in missing #Apply projections in checkNonCyclic | Martin Odersky | 2015-09-11 | 2 | -3/+29 | |
| | | | | | | | | | | | | | | | They might fall through the cracks in appliedTo because symbols are still completing then. | |||||
| * | | Pull out isLegal prefix. | Martin Odersky | 2015-09-11 | 1 | -2/+5 | |
| | | | | | | | | | | | | It is used twice, should use same logic each time. | |||||
* | | | Merge pull request #774 from dotty-staging/fix-constructors | Dmitry Petrashko | 2015-09-14 | 3 | -50/+72 | |
|\ \ \ | | | | | | | | | Constructors: fixes to maintain needed private fields. | |||||
| * | | | Address review comments of #774 | Dmitry Petrashko | 2015-09-14 | 1 | -4/+4 | |
| | | | | ||||||
| * | | | Address review comments #774 | Dmitry Petrashko | 2015-08-25 | 1 | -5/+2 | |
| | | | | ||||||
| * | | | Add comment to Compiler.scala about behaviour of Constructors | Dmitry Petrashko | 2015-08-24 | 2 | -1/+3 | |
| | | | | ||||||
| * | | | Constructors: remove self validation. | Dmitry Petrashko | 2015-08-24 | 1 | -55/+3 | |
| | | | | | | | | | | | | | | | | | | | | | | | | Curiously enough, it only found bugs in old scheme It was deleting accessors, that used to be vals but became defs without anybody raising the `Method` flag. | |||||
| * | | | Constructors: Do not store private fields used only to initialise other fields | Dmitry Petrashko | 2015-08-24 | 1 | -1/+8 | |
| | | | | ||||||
| * | | | Constructors: gather retained private vals in advance. | Dmitry Petrashko | 2015-08-24 | 1 | -4/+72 | |
| | | | | | | | | | | | | | | | | | | | | | | | | Allows not to go deep into tree, additionally fixes bugs with fields that are only used in inner classes being removed. | |||||
| * | | | Memoize: call transformFollowingDeep with correct owner. | Dmitry Petrashko | 2015-08-24 | 1 | -7/+7 | |
| | | | | ||||||
* | | | | Merge pull request #788 from dotty-staging/fix-#781-context-bounds | Dmitry Petrashko | 2015-09-14 | 6 | -9/+658 | |
|\ \ \ \ | | | | | | | | | | | Fix #781 context bounds | |||||
| * | | | | Add test | Martin Odersky | 2015-09-12 | 2 | -0/+74 | |
| | | | | | | | | | | | | | | | | | | | | Should have been added on final vals commit. | |||||
| * | | | | Fix desugaring problem | Martin Odersky | 2015-09-12 | 2 | -6/+576 | |
| | | | | | | | | | | | | | | | | | | | | Desugaring worked incorrectly when both context bounds and default parameters were present. | |||||
| * | | | | Add -language:Scala2 option | Martin Odersky | 2015-09-12 | 2 | -3/+8 | |
| | |/ / | |/| | | | | | | | | | | | | | | Avoids having to fix all occurrences of procedure syntax. Will be extended to other backwards compatible features. | |||||
* | | | | Merge pull request #786 from dotty-staging/fix-#776-param-forwarders | Dmitry Petrashko | 2015-09-09 | 2 | -1/+42 | |
|\ \ \ \ | | | | | | | | | | | Fix param forwarding | |||||
| * | | | | Fix comment in ExpandPrivate | Dmitry Petrashko | 2015-09-09 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Add postcondition to ExpandPrivate. | Dmitry Petrashko | 2015-09-09 | 1 | -0/+19 | |
| | | | | | | | | | | | | | | | | | | | | Check that we do not create members with weaker access than members in superclass. | |||||
| * | | | | Add verbose message to assertion in applyOverloaded | Dmitry Petrashko | 2015-09-09 | 1 | -1/+4 | |
| | | | | | ||||||
| * | | | | ExpandPrivate: add links to discussion. | Dmitry Petrashko | 2015-09-09 | 1 | -0/+3 | |
| | | | | | ||||||
| * | | | | Fix param forwarding | Martin Odersky | 2015-09-08 | 1 | -0/+16 | |
| |/ / / | | | | | | | | | | | | | | | | | | | | | | | | | Parameter forwarders cannot stay private, since private members are not allowed to have the same name as inherited public ones. Review by @DarkDimius | |||||
* | | | | Merge pull request #785 from dotty-staging/fix-#778-cyclic-references | Dmitry Petrashko | 2015-09-09 | 4 | -7/+27 | |
|\ \ \ \ | |/ / / |/| | | | Surivive Cyclic References when unpickling Scala 2 HK types | |||||
| * | | | Surivive Cyclic References when unpickling Scala 2 HK types | Martin Odersky | 2015-09-08 | 4 | -7/+27 | |
|/ / / | | | | | | | | | | | | | | | | | | | Closes $778. It seems impossible (or very hard) to avoid Cyclic References when unpickling Scala2 files. So we try to survive them instead. Review by @DarkDimius | |||||
* | | | Merge pull request #775 from dotty-staging/fix-lv | Dmitry Petrashko | 2015-09-01 | 1 | -2/+4 | |
|\ \ \ | | | | | | | | | LazyVals: fix volatile lazy vals initialization | |||||
| * | | | LazyVals: fix volatile lazy vals initialization | Dmitry Petrashko | 2015-08-24 | 1 | -2/+4 | |
| | | | | | | | | | | | | | | | | Used to incorrectly set status field. | |||||
* | | | | Merge pull request #767 from dotty-staging/fix-#756-super-accessors | Dmitry Petrashko | 2015-08-28 | 6 | -4/+34 | |
|\ \ \ \ | | | | | | | | | | | Fix #756 super accessors | |||||
| * | | | | Add missing negative test. | Martin Odersky | 2015-08-21 | 1 | -0/+8 | |
| | | | | | ||||||
| * | | | | Add test case | Martin Odersky | 2015-08-21 | 1 | -0/+8 | |
| | | | | | ||||||
| * | | | | Workaround for #765 | Martin Odersky | 2015-08-21 | 2 | -3/+12 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Avoid using unexpanded name because it can give wrong results for super accessors of symbolic names. See #765. Without this commit t2183.scala crashes the compiler. | |||||
| * | | | | Fix test when abstract override is needed. | Martin Odersky | 2015-08-21 | 2 | -1/+2 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | There was a transcription error from scalac which caused the scope of a `!` to be wrong. |