| Commit message (Collapse) | Author | Age | Files | Lines |
|\
| |
| | |
Change is volatile 2
|
| |
| |
| |
| |
| | |
We had same fleyness in number of errors of cycle.scala
which prompted this.
|
|/ |
|
|
|
|
|
|
|
| |
Move logic from TypeOps to new file CheckRealizable.scala.
Also check realizable fields under strict mode.
Check at phase PostTyper rather than Typer to avoid cycles.
New tests for imports and deep paths.
|
|
|
|
|
|
| |
Tests with failed projections are moved to pos-scala2, which
was renamed from pos-special. Files in pos-scala2 are compiled
with -language:Scala2 option.
|
|
|
|
|
|
|
| |
Replaces isVolatile, which is too weak (and more complicated).
Backwards compatibility with Scala2 is ensured by dropping the
requirement in Scala2 mode.
Fixes #1047, which now compiles without inifinite recursion.
|
| |
|
|
|
|
| |
Now detects the cycles reported by @retronym
|
|
|
|
| |
This fixes #193.
|
|
Cycles are now detected early, when an info is first completed.
Legal, f-bounded cycles are broken by a LazyRef, which will construct
its type lazily. This makes checkBounds validation of AppliedTypeTrees work
(in FirstTransform). Formerly, this stackoverflowed despite the laziness
precautions in findMember.
Todo: Do the same for class files coming from Java and Scala 2.x.
|