| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |
| |
| |
| |
| | |
One to go (which doesn't fail for me, which is interesting
because it's a VerifyError.)
|
| |
| |
| |
| |
| |
| |
| | |
In SpecializeTypes and beyond. It is hard for me to say with
confidence what might affect the IDE for the worse, but this is
all intended for the IDE's benefit (if only in terms of insurance)
and hopefully intention matches reality.
|
| | | |
| \ | |
|\ \ \
| | | |
| | | |
| | | | |
'hubertp/topic/refinedbm'
|
| | | |
| | | |
| | | |
| | | | |
It contains bugs that we are no longer planning to work on, sbt is a recommended approach (see integration with scala-ide)
|
| | | | |
|
| |/ /
|/| |
| | |
| | |
| | |
| | |
| | | |
This is safe because the presentation
compiler never runs the tree transformer (where this map is needed). This is a source of serious memory leaks in the IDE, but it wasn't visible before because the IDE didn't run the info transformers far enough. Interestingly, this is not a leak in batch runs: each element of the set is removed when the tree is transformed.
For a nice graph of the effect of this change, see: http://i41.tinypic.com/xe0k7o.jpg
|
|\ \ \ |
|
| | | |
| | | |
| | | |
| | | | |
Closes SI-5034.
|
| | | | | |
| \ \ \ | |
| \ \ \ | |
| \ \ \ | |
|\ \ \ \ \ \
| | | | | | |
| | | | | | |
| | | | | | | |
'szabolcsberecz/SI-5316' and 'szabolcsberecz/SI-5171' into develop
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
Running the test produces the following error in 2.9.1:
java.lang.VerifyError: class com.restphone.IsList$ overrides final method canEqual.
Works fine in 2.10.0-M2
|
| | |/ / / /
| | | | | |
| | | | | |
| | | | | | |
Compiler NPE on 2.9.1 when implicit parameter not found
|
| |/ / / / |
|
|/ / / /
| | | |
| | | |
| | | | |
complains about duplicate methods otherwise.
|
| | | | |
|
|\ \ \ \
| | | | |
| | | | |
| | | | | |
'szabolcsberecz/SI-5215' into develop
|
| |/ / / |
|
| | | | |
|
| | | | |
|
| | | | |
|
|/ / / |
|
| | |
| | |
| | |
| | |
| | |
| | | |
And some tests for pending.
Closes SI-5358.
|
| | |
| | |
| | |
| | |
| | |
| | | |
Skolemization code doesn't belong in Typers. I carved
out a little place for it. Also simplifications in
specialization.
|
|\ \ \ |
|
| | | |
| | | |
| | | |
| | | | |
multi-argument list methods.
|
|\ \ \ \ |
|
| | | | |
| | | | |
| | | | |
| | | | | |
The elision is now done by not emitting method calls (it was done by removing the elidable methods).
|
|/ / / /
| | | |
| | | |
| | | | |
This one is a no-brainer now.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
While [@specialized A] already tries to include specialization,
a bug in specializedOn prevented this from happening: any empty
list could mean that the type var was unspecialized, or that it
was specialized on everything.
The fix is to have this function create the full list of symbols
in the case where the @specialized annotation doesn't explicitly
include any types.
|
|\ \ \ \ |
|
| | | | | |
|
| | | | |
| | | | |
| | | | |
| | | | | |
Some in pending, some in files. Closes SI-4770.
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
A reimagining of erik's patch in 1df4fc6e59 . He did the hard
part, this is the batman reboot. I added more tests and tried
to make the anyref caching code less fragile.
|
| | | | | | |
| \ \ \ \ | |
|\ \ \ \ \ \ |
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
The basic problem here was that generic type params were getting
confused between the various specialized subclasses. For instance,
calling typeParamsSubAnyRef(A, C2$mcLI$sp) might return the wrong
specialized type param, e.g. C2$mcLZ$sp.A$sp (note the Z instead
of the I).
The fix is to cache with both the sym (A) and also the clazz
(C2$mcLI$sp). This may resolve a whole host of other obscure
AnyRef specialization problems.
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
More trees created more uniformly.
|
| | | | | | | | |
| \ \ \ \ \ \ | |
|\ \ \ \ \ \ \ \
| |_|/ / / / / /
|/| | | | | | |
| | | | | | | | |
into develop
|
| | | |_|/ / /
| | |/| | | |
| | | | | | |
| | | | | | | |
Chain contexts by sharing the error buffer, unless you explicitly create a silent context. Review by @odersky
|
| |/ / / / /
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
Instead of trying to track the fallback attempts we rely on the
context state to inform us which fallback is the last one.
setError cannot always be called in NoBestMethodAlternativeError
because inferMethodAlternative relies on side-effects.
Review by @paulp.
|
|\ \ \ \ \ \ |
|
| |/ / / / / |
|
|\ \ \ \ \ \
| |_|/ / / /
|/| | | | | |
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
Actually not a fix, only a workaround. Package objects strike
again: you don't want to have existentials in there, like this:
private val resolverFunction: PartialFunction[Throwable, Try[_]] = ...
There are a few irrelevant-to-that-bug changes included which I
did while debugging and figured I'd keep them. With this patch I
can merge/am merging the scala.concurrent work.
|
| |\ \ \ \ \
| | | |/ / /
| | |/| | | |
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
Fixed some tests so that they work now.
The Transactions.scala test was failing when defined in scala.concurrent
package, reporting that type `_$1` is defined twice. Until we figure out
the reason for this, the package name in that test is renamed.
|
| | |\| | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
Conflicts:
src/library/scala/package.scala
|
| | | | | | |
|
| | | | | | |
|
| | | | | | |
|
| | | | | | |
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
Remove `ensure`.
Add `reportFailure` to execution contexts.
Add `zip` to futures.
|