| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
Also, fix error counts in tests for new hk scheme.
|
|
|
|
|
| |
With this change, ski compiles (but with more errors than before).
Without it, it goes into various infinite recursions.
|
|
|
|
|
|
|
| |
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.
|
|
New test that exhibited the problem is ski.scala. Previously
this did not fail with a bounds violation.
|