| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
| |
When named arguments correspond the the parameter declaration
order, the compiler should not lift out assignments before
the method call, as it would have to do for out-of-order
arguments.
Confirm this with a bytecode comparison test.
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
| |
What would you prefer?
adaptToMemberWithArgs(tree, qual, name, mode, false, false)
Or:
adaptToMemberWithArgs(tree, qual, name, mode, reportAmbiguous = false, saveErrors = false)
|
|\
| |
| | |
Integrate range positions.
|
| |
| |
| |
| |
| |
| |
| | |
One of those eternal headaches which probably sounded better
on paper. Even before range positions are the default, there's
no reason we can't have the range position code available
in all globals enabled via settings, just like everything else.
|
| |
| |
| |
| |
| |
| |
| | |
This is a stepping stone to having range positions all the
time, as well as to modularizing the presentation compiler.
It does not enable range positions by default, only places
them smoewhere where they can be.
|
|\ \
| | |
| | | |
Require firstKey and lastKey on IntMap tail-recursive.
|
| | | |
|
|\ \ \
| | | |
| | | | |
Changes around lint
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
imports to Analyzer. This allows the check to be used in the IDE.
|
|\ \ \ \
| | | | |
| | | | | |
SI-7132 - don't discard Unit type in interpreter
|
| | | | | |
|
|\ \ \ \ \
| | | | | |
| | | | | | |
SI-6816 Deprecate -Yeta-expand-keeps-star
|
| |/ / / /
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
This commit deprecates the -Yeta-expand-keeps-star flag. It was created
in 2.10 to help in the transition from 2.9 but by the time 2.11 comes
out it should no longer be necessary.
|
|\ \ \ \ \
| |_|_|_|/
|/| | | | |
Logging little understood maneuverings during type inference
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
Making the mechanisms more apparent. Renamed to isHKSubType,
because there is no other.
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
These super-mutation-oriented methods should enthusiastically
communicate what they are doing, especially when they encounter
anything unexpected. None of this work should be taken as an
endorsement of any of the worked-upon code.
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
Lowering the barriers to sensible logging - these methods are
key in avoiding the "too much trouble" syndrome.
|
|/ / / / |
|
|\ \ \ \
| | | | |
| | | | | |
Renamed type param to be consistent with convention.
|
| |/ / /
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
It's super confusing to see debugging output showing
a type constructor called "Coll". The convention in the
collections is that CC[A] takes type parameters and
Coll is an alias for the applied type.
|
|\ \ \ \
| |/ / /
|/| | | |
Refactors AsSeenFromMap to expose extension point.
|
| | | |
| | | |
| | | |
| | | | |
Added explanatory comment.
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
The extension point was the initial motivation but I also tried to
bring some clarity to the internals. This is a setup commit for
scaladoc and interactive modularization, and also will be followed
by a fix for abstract types losing their prefixes (SI-6161.)
|
|\ \ \ \
| |/ / /
|/| | | |
Merge 2.10.1 into master
|
| |\ \ \
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
Conflicts:
src/compiler/scala/tools/nsc/ast/Trees.scala
src/library/scala/concurrent/impl/ExecutionContextImpl.scala
|
| | |\ \ \ |
|
| | | |\ \ \
| | | | | | |
| | | | | | | |
fixes the test for SI-7112
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
Freshly released Java 1.6.0_41 for OSX fails with "IllegalAccessError:
tried to access class JavaSimpleEnumeration_1 from class sun.proxy.$Proxy6",
and rightfully so, because that class isn't public.
I think I will avoid the usual "how could this even work before" in this
commit message.
|
| | | |\ \ \ \
| | | | |/ / /
| | | |/| | | |
SI-7180 Fix regression in implicit scope of HK type alias.
|
| | | |/ / /
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
We actually need to call normalize here, otherwise we don't
progress through #1 below.
[infer implicit] scala.this.Predef.implicitly[Higher[Foo.Bar]] with pt=Higher[Foo.Bar] in object Foo
1. tp=Foo.Bar tp.normalize=[A <: <?>]Foo.Bar[A] tp.dealias=Foo.Bar
2. tp=Foo.Bar[A] tp.normalize=Box[A] tp.dealias=Box[A]
|
| | | |\ \ \
| | | | | | |
| | | | | | | |
SI-7163 backport of annotated retyping to 2.10.1
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
This was inspired by the regression that Mark encountered
when upgrading SBT from 2.10.0 to 2.10.1-RC1.
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
typedAnnotated transforms an Annotated tree into a Typed tree. The
original field of the result is set to the Annotated tree.
The bug was that typedAnnotated was using the untyped Annotated tree
as original, but also set its type. When re-typing later on the same
Annotated tree, the typer would consider it as alreadyTyped. This
is incorrect, the typer needs to convert Annotated trees to Typed.
Also, the Annotated tree only had its type field set, but its children
were still untyped. This crashed the compiler lateron, non-typed trees
would get out of the typing phase.
|
| | | |\ \ \ \
| | | | | | | |
| | | | | | | | |
SI-6576 Workaround / diagnostic for IDE NPE.
|
| | | | |/ / /
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
Seems like this was too optimistic:
> // later by lukas: disabled when fixing SI-5975
> // i think it cannot happen anymore
- restored the null check
- added logging when we set the namer in this attachment,
in the hope of spotting a pattern in the wild.
We don't have a test case yet; if we did we could most likely
have a more principled fix. But this should suffice for 2.10.1.
|
| | | |\ \ \ \
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
viktorklang/wip-init-bug-executioncontextimpl-2.10.1
Fixing initialization order bug in ExecutionContextImpl, regression from...
|
| | | |/ / / / |
|
| | | |\ \ \ \
| | | | |/ / /
| | | |/| | | |
SI-7128 Fix regression in copyToArray for empty arrays
|
| | | |/ / / |
|
| | | |\ \ \
| | | | | | |
| | | | | | | |
Revert #1403: binary incompatibilities in scala-swing
|
| | |\ \ \ \ \
| | | | | | | |
| | | | | | | | |
resetAttrs now always erases This.tpe
|
| | | | | | | | |
|
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
The symbol of This, if it points to a package class, isn't touched, just
as usual, so that our Select(Select(Select(...))) => This(...) optimization
works fine with attr reset.
However the tpe is now erased, so that subsequent reflective compilation
doesn't spuriously fail when seeing that some subtrees of a tree being
compiled are typed.
Erasing the tpe doesn't pose even a tiniest problem, because, as it can
be seen in typedThis, type is trivially reconstructed from the symbol.
|
| | |\ \ \ \ \ \
| | | | | | | | |
| | | | | | | | | |
Fix SI-7107: scala now thinks every exception is polymorphic
|
| | |/ / / / / /
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
We need to force info of the `cls` in `parseExceptions`
because we pass `cls` to `addThrowsAnnotation` which in turn calls
`Symbol.isMonomorphicType` that relies on a symbol being initialized
to give right answers.
In the future we should just clean up implementation of
`isMonomorphicType` method to not rely on a symbol being initialized
as there's no inherent reason for that in most cases. In cases where
there's reason for that we should just force the initialization.
This patch does not come with a test-case because it's hard to reproduce
not initialized symbols in partest reliably.
|
| | |\ \ \ \ \ \
| | | | | | | | |
| | | | | | | | | |
SI-7074 Fix xml attribute sorting
|