| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
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.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
By making LinearSeq an IterableLike, we can use tail-recursion
on drop.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Demonstrates how to integrate lazy non-view collections
in the framework.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
This PR investigates what it takes to extend CollectionStrawMan5 to
arrays.
|
|\ \ \ \
| |_|/ /
|/| | | |
Fix #1447: Make X$ <:< X.type when X is an object
|
|/ / /
| | |
| | |
| | | |
This allows objects to be easily aliased
|
|\ \ \
| | | |
| | | | |
Fix #1372: Add handler for `PatDef`s to REPL
|
| | | | |
|
|\ \ \ \
| |_|_|/
|/| | | |
Fix #1367: Add ParsedTry case to UntypedTree{Copier,Map,Accumulator}
|
|/ / / |
|
|\ \ \
| |/ /
|/| | |
Fix #1396, #1403: Properly handle unbound wildcard types
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
|\ \ \
| |/ /
|/| | |
Fix #1426: Fix varable printing in REPL
|
| | |
| | |
| | |
| | |
| | |
| | | |
We accidentally used `toString` instead of `show`.
Fixes #1426.
|
|\ \ \
| |/ /
|/| | |
Fix #1269: Typing and pattern matching of nested subclasses
|
| | |
| | |
| | |
| | |
| | | |
Previous test did not reflect deeper paths for outer references. This caused
a -Ycheck:patMat failure for i1269.scala.
|
| | |
| | |
| | |
| | |
| | | |
The previously used `rebase` did not rewrire outer this references.
The right thing to do here is an asSeenFrom.
|
|\ \ \
| | | |
| | | | |
Fix #1285: Mutable vars are not to be considered constant
|
|/ / / |
|
|\ \ \
| | | |
| | | | |
Ensure that partest runs bootstrapped Dotty.
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | | |
If the parameter is of type `=> T`, its default getter is a def with
result type `T`.
|
| | | |
| | | |
| | | |
| | | | |
Copy type from default parameter to default getter method.
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Partest used to run tests with Dotty, but stopped at some moment.
I guess this line may have been deleted at some merge conflict.
|
|\ \ \ \
| | | | |
| | | | | |
Fix #1423: Fix owners of called methods in CollectSuperCalls.
|
| | | | | |
|
|\ \ \ \ \
| |/ / / /
|/| | | | |
Add Function25 on top of #1413.
|
| |/ / / |
|
|\ \ \ \
| | | | |
| | | | | |
bin/common: make check_jar work outside of dotty root
|
| | |/ /
| |/| | |
|
|\ \ \ \
| |_|/ /
|/| | | |
Fix #1263: Suppress super initializer call for val parameters of traits.
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
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.
|
|\ \ \ \
| | | | |
| | | | | |
partest: Enable separate compilation
|
| | | | | |
|
| | | | |
| | | | |
| | | | |
| | | | | |
In this case, supertype is not stable and should not be cached.
|
| | | | |
| | | | |
| | | | |
| | | | | |
Java's naming convention is different from Scala's.
|
| | | | | |
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
Currently, the classfiles emitted by dotty do not contain the type
parameters information that javac relies on.
Fixing this is tracked by #1303.
|
| | | | |
| | | | |
| | | | |
| | | | | |
javac wants the public class name to match the filename.
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
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
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
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
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
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
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
This is necessary to unbox the value class when accessing it from
separate compilation units
|
| | |_|/
| |/| |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
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.
|