| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| | | |
|
| | |
| | |
| | |
| | |
| | | |
Bring strawman-4 and strawman-5 to feature-parity.
Test also strawman-4.
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
New CollectionStrawMan5, executed as runttest in two different ways:
- built with scalac, test compiled by dotty in tests/run.
- built with dotty, test compiled by dotty using separate compilation.
|
| |/
|/| |
|
|\ \
| |/
|/| |
Fix Tasty errors
|
| |
| |
| |
| |
| |
| |
| | |
1) Move passing test to pickling
2) Add test case for #1212 in pending
3) Disable annotations/internal in pickling tests. They lead to a stable symbol error
which is explainable (modifiers are read before symbol is created).
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
Two problems were fixed:
- isJava needs to look at function symbol, not its type (references
to Java methods get normal MethodTypes not JavMethodTypes)
- we also need to handle the case where the repeated argument is
wrspped in a type ascription.
|
| |
| |
| |
| |
| |
| | |
ParamAccessor is not a pickled flag. This is not a problem for
normal parameter accessors which are pickled as PARAM fields. But setters
of parameter accessors also need to have the flag set (and Deferred reset).
|
| | |
|
| | |
|
| | |
|
|\ \
| |/
|/| |
Improvements to cyclic checking, avoidance, named parameters
|
| |
| |
| |
| |
| |
| | |
Now verifies that the named type parameters of an overriding
type or class are the same as the named type parameters of
an overridden type.
|
| | |
|
| |
| |
| |
| | |
The intent is that Repr implementations should not bind the Out parameter.
|
| | |
|
| |
| |
| |
| |
| | |
The previous formulation broke for named parameters.
Test case in flowops1.scala.
|
| |
| |
| |
| |
| |
| |
| |
| |
| | |
Simplified logic and now check prefixes of TypeRefs.
Without the simplified logic we would get false cyclic errors for ski.scala.
Test case: flowops.scala
Fixes #1185.
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
If the method that recurses over a different type arguments,
if this method is specialised, it would lead to method not
being tail-rec anymore.
Eg:
def foo[@specialized A, @specialized B]: Unit = foo[B, A]
|
| |
| |
| |
| |
| |
| |
| |
| |
| | |
TailRec methods remain members of enclosing class,
it means that they can refer to methods that require this.type.
It means that tailrec, unlike value classes is not allowed to widen
type of $this to it's full self type.
Fixes #1089
|
| |
| |
| |
| | |
These files were supposed to be remove, their content are now in variances.scala
|
| | |
|
|\ \
| | |
| | | |
Repl fixes and tests
|
| | | |
|
| | | |
|
| |/
|/| |
|
|\ \
| | |
| | | |
Improvements & bugs that were discovered while implementing specialization.
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | | |
Rewriting did not go far enough, as evidenced by pos/i1174.scala
Fixes #1174
|
| |/
|/|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
The standard syntax in Dotty now is `xs : _*`. In Scala2 mode,
following code should be valid:
list match {
case List(_, _, _, _ @ _*) => 0
case List(_, _, _*) => 1
case List(_, _: _*) => 2
case Nil => 3
}
|
|\ \
| | |
| | | |
Fix typing of SeqLiterals
|
| | |
| | |
| | |
| | | |
The test contained an error that was unvovered by the "Nothing is not Nullable" fix.
|
|\ \ \
| | | |
| | | | |
Add/collection strawman
|
| | | |
| | | |
| | | |
| | | |
| | | | |
It worked more or less by accident before. Now it's more complicated,
but we also have tests.
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
Centered around views instead of iterators.
|
|\ \ \ \
| | | | |
| | | | | |
First steps towards rewriting from Scala2 in dotty
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
1. trailing `_`:
`x _` is rewritten to `(() => x)` not to `x`
2. lazy vals:
Rewrites are done in Typer, not LazyVals. Later on we are too much at risk to
hit synthetically generated lazy vals.
|
| | | | | |
|
| | | | |
| | | | |
| | | | |
| | | | | |
Test rewritings that were implemented so far.
|
| | | | |
| | | | |
| | | | |
| | | | | |
Some random neg tests from previous experiments.
|
| | |/ /
| |/| | |
|
|\ \ \ \
| |_|_|/
|/| | | |
Pickle/unpickle SuperAccessor names
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Needed to restore the SuperAccessor flag in separate compilation.
Fixes #1144.
|
|\ \ \ \
| | | | |
| | | | | |
Tweaks to ExplicitOuter and TreeTypeMap
|
| | |/ /
| |/| |
| | | |
| | | | |
The test fails if either of the previous two commits is missing.
|
|\ \ \ \
| | | | |
| | | | | |
Have checkNotPrivate skip over private aliases.
|