Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make ensureMethodic work after erasure. | Martin Odersky | 2015-06-01 | 2 | -2/+2 |
| | | | | | Previously it didn't, because it created an ExprType, which is illegal after erasure. | ||||
* | Use $init$ as the name of trait constructors | Martin Odersky | 2015-06-01 | 1 | -1/+1 |
| | | | | This brings it in line with Scala2 conventions. | ||||
* | Move needsForwarder logic from ResolveSuper to MixinOps. | Martin Odersky | 2015-06-01 | 2 | -8/+13 |
| | | | | We'd like to make it reusable for a phase that treats Scala2 traits. | ||||
* | New NameOps methods for Scala2 traits | Martin Odersky | 2015-06-01 | 3 | -4/+12 |
| | | | | Also: generalize expandedName so that it can cater for trait setters. | ||||
* | Make Mutable a ModifierFlag. | Martin Odersky | 2015-06-01 | 2 | -2/+8 |
| | | | | | | It definitely does appear in trees, so should be included in the set. Affects how things are printed. Before, typed var's would still show up as vals. | ||||
* | Merge postConditions of memoize and constructors | Martin Odersky | 2015-06-01 | 2 | -11/+9 |
| | | | | | | | If memoize and constructors are run in different groups, memoize's previous postcondition "all concerete methods are implemented" is wrong, because constructors are not implemengted yet. Solved by moving the postcondition to phase Constructors. | ||||
* | Merge pull request #626 from smarter/fix/ast-tostring | odersky | 2015-05-31 | 1 | -2/+2 |
|\ | | | | | Add missing string interpolator prefix in some AST nodes' toString | ||||
| * | Add missing string interpolator prefix in some AST nodes' toString | Guillaume Martres | 2015-05-31 | 1 | -2/+2 |
|/ | |||||
* | Merge pull request #625 from smarter/add/ast-toString | odersky | 2015-05-31 | 1 | -2/+7 |
|\ | | | | | Trees: Add toString for AST nodes which are not case classes | ||||
| * | Trees: Add toString for AST nodes which are not case classes | Guillaume Martres | 2015-05-30 | 1 | -2/+7 |
| | | | | | | | | This makes debugging trees easier. | ||||
* | | Merge pull request #623 from dotty-staging/make-tests-pass | odersky | 2015-05-31 | 18 | -62/+116 |
|\ \ | |/ |/| | Make tests pass | ||||
| * | Fix ElimStaticThis#transformIdent | Guillaume Martres | 2015-05-30 | 2 | -4/+9 |
| | | | | | | | | | | | | | | | | | | - Only transform static methods which are inside module classes. - Make sure that the prefix of the underlying type of the Ident is a ThisType of the current module class. For example in "scala.Int.box(42)", "box" is an Ident whose underlying type is "TermRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,scala)),Int$)),box)", but we should not trigger an assertion in this case. | ||||
| * | Update t6260-delambdafy.check to account for change in lambda generation | Guillaume Martres | 2015-05-30 | 1 | -1/+0 |
| | | |||||
| * | Avoid static initialization deadlock in run tests. | Guillaume Martres | 2015-05-30 | 5 | -23/+34 |
| | | | | | | | | | | See https://github.com/lampepfl/dotty/pull/624#issuecomment-107064519 for a lengthy explanation. | ||||
| * | New phase: ElimStaticThis | Dmitry Petrashko | 2015-05-29 | 2 | -0/+39 |
| | | |||||
| * | Bring back disabled test. | Martin Odersky | 2015-05-29 | 2 | -0/+0 |
| | | |||||
| * | Eliminate `_' from rhs of ValDefs | Martin Odersky | 2015-05-29 | 5 | -36/+23 |
| | | | | | | | | Previously was only done for DefDefs. Caused backend failure. | ||||
| * | Stop running scala/scala tests instead of our junit tests. | Martin Odersky | 2015-05-29 | 1 | -0/+1 |
| | | |||||
| * | Move test that fails again to disabled. | Martin Odersky | 2015-05-29 | 2 | -0/+26 |
| | | |||||
| * | Revert "Fix #580: use isContainedIn to support cases where the enclosing ↵ | Martin Odersky | 2015-05-29 | 3 | -27/+1 |
| | | | | | | | | | | | | class is also the top-level class" This reverts commit 6898d2c296326779d373ef0e0b84e4451550120a. | ||||
| * | Fix compilation failure by refining adaptation of constants | Martin Odersky | 2015-05-29 | 1 | -1/+13 |
|/ | | | | | | | | | Constants that are adapted to a different supertype need to do this explicitly (not just by changing the type). Otherwise tree checkers will compute the original type and fail. This caused a test failure in pos/harmonize. The mystery is why this was not caught in the checkin tests. | ||||
* | Merge pull request #611 from dotty-staging/supercalls-traits-test | Dmitry Petrashko | 2015-05-28 | 6 | -8/+70 |
|\ | | | | | Add a test for supercalls in traits. | ||||
| * | Refine definition of isCurrent | Martin Odersky | 2015-05-28 | 1 | -2/+3 |
| | | | | | | | | Fixes problem with run/t261.scala. | ||||
| * | Extended test case. | Martin Odersky | 2015-05-27 | 2 | -2/+12 |
| | | | | | | | | Also added non-unit fields and a class that directly implements two traits with the same fields. | ||||
| * | Mixin: generate a getter in implementing class only if current | Martin Odersky | 2015-05-27 | 2 | -4/+9 |
| | | | | | | | | | | | | A class might implement several fields in inherited traits with the same and type. In that case only one getter should be produced, but all initializing expressions have to be executed. | ||||
| * | Fix bug in typer erasure's transformInfo | Martin Odersky | 2015-05-27 | 1 | -1/+1 |
| | | | | | | | | ()Unit translates to ()BoxedUnit not BoxedUnit. | ||||
| * | workaround https://issues.scala-lang.org/browse/SI-7666 | Dmitry Petrashko | 2015-05-27 | 1 | -5/+11 |
| | | |||||
| * | Add super calls to trait initialization test) | Dmitry Petrashko | 2015-05-27 | 1 | -3/+3 |
| | | |||||
| * | Add a test for trait initialization. | Dmitry Petrashko | 2015-05-27 | 1 | -0/+25 |
| | | |||||
| * | Add a test that tests supercalls in traits. | Dmitry Petrashko | 2015-05-27 | 1 | -0/+15 |
| | | |||||
* | | Merge pull request #616 from dotty-staging/partest-package | Dmitry Petrashko | 2015-05-28 | 1 | -6/+6 |
|\ \ | | | | | | | Package dotty before running partest. | ||||
| * | | Package dotty before running partest. | Dmitry Petrashko | 2015-05-28 | 1 | -6/+6 |
| | | | | | | | | | | | | To make sure that artifact is the same. | ||||
* | | | Merge pull request #617 from smarter/fix/param-forwarding | Dmitry Petrashko | 2015-05-28 | 3 | -2/+107 |
|\ \ \ | |/ / |/| | | ParamForwarding: do not require param accessors to be private[this] | ||||
| * | | ParamForwarding: do not require param accessors to be private[this] | Guillaume Martres | 2015-05-28 | 3 | -2/+107 |
|/ / | | | | | | | | | | | | | | | | | | | Also mark the forwarder as Stable otherwise we get a RefChecks error. This fixes #608. Note that we do less parameter forwarding than scalac. See for example D and Y in tests/run/paramForwarding.scala which don't get their own local fields in scalac but do in dotty. | ||||
* | | Merge pull request #612 from vsalvis/vsalvis-fix-showdiff | Dmitry Petrashko | 2015-05-27 | 1 | -1/+20 |
|\ \ | | | | | | | Fix --show-diff for partest issue #609 | ||||
| * | | Fix --show-diff for partest | vsalvis | 2015-05-27 | 1 | -1/+20 |
| | | | |||||
* | | | Merge pull request #615 from dotty-staging/dotc-improve | Dmitry Petrashko | 2015-05-27 | 1 | -2/+12 |
|\ \ \ | |/ / |/| | | Rebuild dotc if new *.scala files are found in `dotty/src` | ||||
| * | | Support rebuilding tests in dotc, be smart about sbt incremental compilation. | Dmitry Petrashko | 2015-05-27 | 1 | -3/+4 |
| | | | |||||
| * | | Rebuild dotc if new *.scala files are found in `dotty/src` | Dmitry Petrashko | 2015-05-27 | 1 | -0/+9 |
|/ / | |||||
* | | Merge pull request #610 from lampepfl/DarkDimius-patch-1 | Dmitry Petrashko | 2015-05-27 | 1 | -1/+1 |
|\ \ | | | | | | | Show be more verbose when running partest on Jenkins | ||||
| * | | Show be more verbose when running partest on Jenkins | Dmitry Petrashko | 2015-05-27 | 1 | -1/+1 |
| |/ | | | | | | | Enables printing of diffs after test failure and a more summary in the end of test suite. Diffs do not work yet #609 | ||||
* | | Merge pull request #598 from dotty-staging/add/simplify-primitives | odersky | 2015-05-27 | 5 | -5/+90 |
|\ \ | |/ |/| | Add/simplify primitives | ||||
| * | Improve doc comments | Martin Odersky | 2015-05-27 | 2 | -1/+7 |
| | | |||||
| * | Uncomment tests | Martin Odersky | 2015-05-27 | 1 | -2/+2 |
| | | |||||
| * | Introduce harmonization of numeric arguments | Martin Odersky | 2015-05-27 | 3 | -15/+70 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Harmonization is Dotty's alternative to Scala 2's notion of weak conformance. It is less powerful but also less entangled with the core type system. The idea is that in some specific contexts trees that all have primitive numeric types will be converted as necessary so that they all have the same numeric type. These tree sets are: - the two branches of an if - the alternatives of a match - the body together with the catch blocks of a try - the arguments of a vararg parameter Examples are in the test file, harmonize.scala. | ||||
| * | Add harmonization method for harmonizing numeric types. | Martin Odersky | 2015-05-27 | 3 | -1/+25 |
|/ | |||||
* | Merge pull request #607 from dotty-staging/fix/datarace-flags | Dmitry Petrashko | 2015-05-27 | 16 | -34/+91 |
|\ | | | | | Fix/datarace flags | ||||
| * | New pos tests | Martin Odersky | 2015-05-27 | 5 | -0/+62 |
| | | | | | | | | Some of them were moved from disabled after verifiying that they compile now. | ||||
| * | Categorize disabled tests into pos/run | Martin Odersky | 2015-05-27 | 5 | -0/+0 |
| | | |||||
| * | Disable failing test | Martin Odersky | 2015-05-27 | 2 | -0/+0 |
| | |