aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | Fix substDealiasMartin Odersky2016-07-272-7/+17
| | | | | | | | | | | | | | | | | | | | | | | | substDealias did not follow aliases when the prefix of a typeref changed under substitution. This was exhibited by a bug in extensionMethods which was first discovered in CollectionStrawMan6 and was minimized in extmethods.
| * | | Improve dropMartin Odersky2016-07-272-21/+7
| | | | | | | | | | | | | | | | | | | | By making LinearSeq an IterableLike, we can use tail-recursion on drop.
| * | | Further extension with LazyListMartin Odersky2016-07-264-209/+1081
| | | | | | | | | | | | | | | | | | | | Demonstrates how to integrate lazy non-view collections in the framework.
| * | | Add arrays to collection strawmanMartin Odersky2016-07-254-0/+1496
| | | | | | | | | | | | | | | | | | | | This PR investigates what it takes to extend CollectionStrawMan5 to arrays.
* | | | Merge pull request #1448 from dotty-staging/fix/object-subtypingGuillaume Martres2016-08-122-1/+17
|\ \ \ \ | |_|/ / |/| | | Fix #1447: Make X$ <:< X.type when X is an object
| * | | Fix #1447: Make X$ <:< X.type when X is an objectGuillaume Martres2016-08-092-1/+17
|/ / / | | | | | | | | | This allows objects to be easily aliased
* | | Merge pull request #1436 from cswinter/wip-repl-patdef-fixGuillaume Martres2016-08-073-21/+73
|\ \ \ | | | | | | | | Fix #1372: Add handler for `PatDef`s to REPL
| * | | Fix #1372: Add handler for `PatDef`s to REPLClemens Winter2016-08-023-21/+73
| | | |
* | | | Merge pull request #1439 from cswinter/parsedtryGuillaume Martres2016-08-072-0/+12
|\ \ \ \ | |_|_|/ |/| | | Fix #1367: Add ParsedTry case to UntypedTree{Copier,Map,Accumulator}
| * | | Fix #1367: Add ParsedTry case to UntypedTree{Copier,Map,Accumulator}Clemens Winter2016-08-032-0/+12
|/ / /
* | | Merge pull request #1431 from cswinter/wip-unboundwildcardodersky2016-08-014-36/+80
|\ \ \ | |/ / |/| | Fix #1396, #1403: Properly handle unbound wildcard types
| * | Add tests for infix types with wildcard parametersClemens Winter2016-08-011-0/+9
| | |
| * | Add tests for unbound wildcard typesClemens Winter2016-08-011-0/+21
| | |
| * | Fix #1403: Reject unbound wildcard typesClemens Winter2016-08-011-9/+27
| | |
| * | Fix #1396: Modify parser to allow wildcard types everywhereClemens Winter2016-08-012-27/+23
| | |
* | | Merge pull request #1429 from dotty-staging/fix-#1426Guillaume Martres2016-08-012-5/+13
|\ \ \ | |/ / |/| | Fix #1426: Fix varable printing in REPL
| * | Fix varable printing in REPLMartin Odersky2016-07-312-5/+13
| | | | | | | | | | | | | | | | | | We accidentally used `toString` instead of `show`. Fixes #1426.
* | | Merge pull request #1398 from dotty-staging/fix-#1269Dmitry Petrashko2016-07-313-7/+18
|\ \ \ | |/ / |/| | Fix #1269: Typing and pattern matching of nested subclasses
| * | Fix outer test in pattern matcherMartin Odersky2016-07-172-2/+17
| | | | | | | | | | | | | | | Previous test did not reflect deeper paths for outer references. This caused a -Ycheck:patMat failure for i1269.scala.
| * | Fix computation of parent types of a classinfo.Martin Odersky2016-07-171-5/+1
| | | | | | | | | | | | | | | The previously used `rebase` did not rewrire outer this references. The right thing to do here is an asSeenFrom.
* | | Merge pull request #1428 from dotty-staging/fix-#1285odersky2016-07-313-3/+7
|\ \ \ | | | | | | | | Fix #1285: Mutable vars are not to be considered constant
| * | | Fix #1285: Mutable vars are not to be considered constantMartin Odersky2016-07-313-3/+7
|/ / /
* | | Merge pull request #1115 from dotty-staging/ensure-bootstrapped-partestodersky2016-07-313-1/+17
|\ \ \ | | | | | | | | Ensure that partest runs bootstrapped Dotty.
| * | | Revert b54bc22 "set type of default getter method"Martin Odersky2016-07-281-5/+1
| | | |
| * | | Strip byname when assigning default getter result typeMartin Odersky2016-07-281-1/+5
| | | | | | | | | | | | | | | | | | | | If the parameter is of type `=> T`, its default getter is a def with result type `T`.
| * | | Set type of default getter methodMartin Odersky2016-07-281-1/+1
| | | | | | | | | | | | | | | | Copy type from default parameter to default getter method.
| * | | Add check fileMartin Odersky2016-07-281-0/+2
| | | |
| * | | Add test file.Martin Odersky2016-07-281-0/+14
| | | |
| * | | Dotty: actually put dotty.jar into bootclasspath.Dmitry Petrashko2016-07-281-1/+1
| | | | | | | | | | | | | | | | | | | | Partest used to run tests with Dotty, but stopped at some moment. I guess this line may have been deleted at some merge conflict.
* | | | Merge pull request #1425 from dotty-staging/fix-#1423odersky2016-07-313-7/+33
|\ \ \ \ | | | | | | | | | | Fix #1423: Fix owners of called methods in CollectSuperCalls.
| * | | | Fix #1423: Fix owners of called methods in CollectSuperCalls.Nicolas Stucki2016-07-293-7/+33
| | | | |
* | | | | Merge pull request #1422 from dotty-staging/add-Function25odersky2016-07-317-2/+123
|\ \ \ \ \ | |/ / / / |/| | | | Add Function25 on top of #1413.
| * | | | Add Function25 on top of #1413.Nicolas Stucki2016-07-287-2/+123
| |/ / /
* | | | Merge pull request #1397 from dotty-staging/fix/dotc-pathDmitry Petrashko2016-07-281-1/+1
|\ \ \ \ | | | | | | | | | | bin/common: make check_jar work outside of dotty root
| * | | | bin/common: make check_jar work outside of dotty rootGuillaume Martres2016-07-171-1/+1
| | |/ / | |/| |
* | | | Merge pull request #1410 from dotty-staging/fix-#1263Dmitry Petrashko2016-07-282-7/+41
|\ \ \ \ | |_|/ / |/| | | Fix #1263: Suppress super initializer call for val parameters of traits.
| * | | Extend test case to test variations of modifiers on trait parameters.Martin Odersky2016-07-251-0/+24
| | | |
| * | | Fix #1263: Suppress super initializer call for val parameters of traits.Martin Odersky2016-07-222-7/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Val-parameters of traits don't have an initializer, as other vals do. So we cannot call the initializer in an initialization sequence of a subclass. Fixes #1263.
* | | | Merge pull request #1289 from dotty-staging/fix/partest-separateGuillaume Martres2016-07-2717-39/+96
|\ \ \ \ | | | | | | | | | | partest: Enable separate compilation
| * | | | Refine HKApply#superTypeMartin Odersky2016-07-281-1/+1
| | | | |
| * | | | Fix HkApply#superType if type constructor is a TypeVarMartin Odersky2016-07-271-0/+3
| | | | | | | | | | | | | | | | | | | | In this case, supertype is not stable and should not be cached.
| * | | | Don't generate outer accessors for Java innner classes.Martin Odersky2016-07-271-1/+1
| | | | | | | | | | | | | | | | | | | | Java's naming convention is different from Scala's.
| * | | | Fix colltest4: ListBuffer[A]#fromIterable had an incorrect castFelix Mulder2016-07-272-2/+2
| | | | |
| * | | | Move java tests relying on type parameters to pendingGuillaume Martres2016-07-274-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Currently, the classfiles emitted by dotty do not contain the type parameters information that javac relies on. Fixing this is tracked by #1303.
| * | | | pos/java-interop/volatile: Fix compilation with javacGuillaume Martres2016-07-271-0/+0
| | | | | | | | | | | | | | | | | | | | javac wants the public class name to match the filename.
| * | | | partest: put more stuff on javac classpathGuillaume Martres2016-07-271-0/+56
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Some java tests require the scala-library to be present on the classpath, this fixes tests/pos/java-interop/{t1186, t1235, t1254, t1642}. Also correctly redirect the output of javac so that it will be displayed by partest --verbose
| * | | | Remove overloaded constructor for annotationsGuillaume Martres2016-07-272-5/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This lead to inference failures when separately compiling t1751 and t294, this did not happen under joint compilation because JavaParser does not create the overloaded constructor
| * | | | Fix colltest5 test under separate compilationGuillaume Martres2016-07-274-3/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This test failed before because strawman.collections.CollectionStrawMan5 is defined in two places: - src/strawman/collections/CollectionStrawMan5.scala - tests/run/colltest5/CollectionStrawMan5_1.scala The first will be compiled by scalac (unless the tests are run through a bootstrapped dotty) and the second will be compiled by dotty, the value class encoding of scalac and dotty are not binary compatible. This would not be a problem if we always used the `CollectionStrawMan5` coming from the partest output directory and ignored the one in the dotty sources, but which one gets picked depends on the classpath and whether compilation is joined or separate, see #1301. For now, it's safer and simpler to just avoid having tests which define a class that is also defined in the sources of dotty. Also, fix a bug in colltest4 where it was importing CollectionStrawMan5 instead of CollectionStrawMan4
| * | | | Make private accessor in value class not-private.VladimirNik2016-07-271-1/+12
| | | | | | | | | | | | | | | | | | | | | | | | | This is necessary to unbox the value class when accessing it from separate compilation units
| * | | | partest: Enable separate compilation and javac testsGuillaume Martres2016-07-272-27/+2
| | |_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | partest can separately compile files based on their suffix (_1, _2, ...), it turns out that this feature was never enabled in the dotty version of partest and no one noticed (it prints warnings in ./tests/partest-generated/gen.log which no one reads), tests with *.java files should be compiled both with javac and dotty, but compiling with javac was also disabled. Enabling this revealed some latent bugs that will be fixed in the next few commits.