| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| | | | |
|
| | | | |
|
|\ \ \ \
| | | | |
| | | | | |
Tailrec for derivesFrom/lookupRefined/classSymbol/classSymbols
|
| | | | | |
|
| | | | | |
|
|\ \ \ \ \
| | | | | |
| | | | | | |
Allow inter-parameter dependencies
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
All PolyTypes get variances passed, so isTypeLambda is always true
and the deleted assert is never triggered.
|
| | | | | | |
|
| | | | | | |
|
| | | | | | |
|
| | | | | | |
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
The dropped method takes direct parameter types but a result type expression.
Since parameter types are now in general dependent as well, that method is
mostly redundant.
|
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
Take parameter dependencies into account when typechecking arguments.
|
| | | | | | |
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
Also: check validity of method types, so that no
forward references occur.
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
To allow for dependencies between method type parameters, construct MethodTypes
from a closure that maps the currently constructed MethodType to its parameter types.
|
|\ \ \ \ \ \
| | | | | | |
| | | | | | | |
Fix #1960: add test
|
| | |_|/ / /
| |/| | | | |
|
|\ \ \ \ \ \
| | | | | | |
| | | | | | | |
Fix #1706: add test
|
| |/ / / / /
| | | | | |
| | | | | |
| | | | | | |
The bug is already fixed in PR #1724 while fixing another issue
|
|\ \ \ \ \ \
| | | | | | |
| | | | | | | |
Various fixes to the sbt reporter
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
These changes were done to imitate how these fields are set in
https://github.com/sbt/sbt/blob/0.13/compile/interface/src/main/scala/xsbt/DelegatingReporter.scala
The main issue this fixes is sbt displaying the ^ pointer way too far,
because the number of spaces was set from the beginning of the file
instead of the beginning of the line.
|
| | | | | | | |
|
| | | | | | | |
|
|/ / / / / / |
|
|\ \ \ \ \ \
| |_|/ / / /
|/| | | | | |
Fix #2077: Optimization of constant conditionals
|
| |/ / / /
| | | | |
| | | | |
| | | | |
| | | | | |
Move fixed logic to FirstTransform, where the other constant
folding operations are also done.
|
|\ \ \ \ \
| | | | | |
| | | | | | |
Fix #2089: Error when compiling ParSetLike, ParSet, SetLike, in this order
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
This fix is inspired by 6c91684, but I couldn't tell you why it works
exactly, it's just something I tried.
|
|\ \ \ \ \ \
| | | | | | |
| | | | | | | |
Fix Symbol#sourceFile not working after Flatten
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
The SourceFile annotation is only present on the non-flattened top-level
class.
|
|\ \ \ \ \ \ \
| | | | | | | |
| | | | | | | | |
Fix #2071: handle HKApply in SAMType
|
| | |_|/ / / /
| |/| | | | | |
|
|\ \ \ \ \ \ \
| |/ / / / / /
|/| | | | | | |
Fix #1488: position fix for lazy vals
|
|/ / / / / / |
|
|\ \ \ \ \ \
| |/ / / / /
|/| / / / /
| |/ / / / |
Fix compilation of ParSetLike by itself
|
|/ / / /
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Before this commit, ParSetLike compiled fine as part of compileStdLib
but crashed when compiled by itself because we tried to force a LazyRef
while forcing the same LazyRef. This commit fixes this by being slightly
more lazy where it matters.
|
|\ \ \ \
| | | | |
| | | | | |
Fix #2066: Don't qualify private members in SelectionProto's...
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
Now we never match `? { name: T }` with types that
have only a private `name` member. This is what scalac does, too.
|
| | | | |
| | | | |
| | | | |
| | | | | |
... unless they would be accessible in the given context.
|
|\ \ \ \ \
| | | | | |
| | | | | | |
-Yplain-printer: do not print positions by default
|
|/ / / / /
| | | | |
| | | | |
| | | | | |
You can still have positions printed by explictly passing -Yprintpos
|
|\ \ \ \ \
| | | | | |
| | | | | | |
Fix #360: Improve avoidance algorithm
|
| | | | | | |
|
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
No more try-again business necessary.
|
| | | | | | |
|
| |/ / / /
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
The essential change is that we do not throw away more
precise info of the avoided type if the expected type
is fully defined.
|
|\ \ \ \ \
| | | | | |
| | | | | | |
Fix overriding a Java method with varargs
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
This was a mistake introduced in the previous commit, installAfter is
only safe to use in `IdentityDenotTransformer` phases, otherwise it
means that the phase denotation transformer is not run at all for this
particular denotation, this caused Ycheck to fail.
|
| |/ / / /
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
If A method like:
override def foo(x: Object*)
overrides a Java method, it needs to be rewritten as:
def foo(x: Seq[Object])
override def foo(x: Array[Object]): Object = foo(Predef.wrapRefArray(x))
This should be handled by ElimRepeated but there were two bugs:
- `addVarArgsBridge` was called at phase `thisTransformer.next`, this is
too late to create the bridge since `T*` has already been rewritten as
`Seq[T]`
- The original method symbol needs to have the `override` flag dropped,
since it doesn't override anything.
Furthermore, RefChecks had to be moved after ElimRepeated, otherwise the
testcase would fail the overriding checks.
|