| Commit message (Collapse) | Author | Age | Files | Lines |
|\
| |
| | |
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.
|
| |/ / /
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
CheckNotPrivate now avoids private aliases, so that types sat prepresentable in
transformation phases.
This does not solve the problem that private classes or abstract types might leak coming
from Scala 2, but there is not really a good cure for that. We can reject them outright or
allow them under language:Scala2 and hope for the best.
|
|\ \ \ \
| |/ / /
|/| | | |
Make sure lazy accessors in traits are not private.
|
| |/ /
| | |
| | |
| | | |
Fixes #1140. Review by @DarkDimius or @smarter.
|
|/ /
| |
| |
| |
| |
| |
| | |
There was a mssing condition which meant Tyepr thought it was
at the outermost scope where but was mistaken.
Fixes #1145
|
|\ \
| |/
|/| |
Fix for separate compilation with value class issue (#1137)
|
| |
| |
| |
| | |
object - #1137)
|
|\ \
| | |
| | | |
Implement @static sip.
|
| | | |
|
| |/
|/|
| |
| | |
Fixes #1052.
|
|\ \
| | |
| | | |
Fix #1146: Fix bug of ExpandSAMs with non-apply SAM methods.
|
| |/
| |
| |
| |
| |
| | |
When expanding a SAM, ExpandSAMs always used the name `apply` for
the generated forwarder, instead of the name of the method which
is abstract in the SAM type. This commit fixes this issue.
|
|\ \
| |/
|/| |
Change lambdalift - fasttrack
|
| | |
|