| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
| |
Was: corresponding parameter types "are compatible".
Now: corresponding parameter types "conform".
This avoids the inconsistency mentioned by @retronym in #897.
|
|
|
|
| |
Implements SIP #897.
|
|\
| |
| | |
partest: run tests with -Xms64M -Xmx1024M instead of JVM defaults
|
| |
| |
| |
| |
| |
| | |
This is the same settings that scalac uses, this should help use avoid
using too much memory (the default on 64 bits Linux seems to be
-Xms248M -Xmx3938M).
|
|\ \
| | |
| | | |
Add test case for #645
|
| |/ |
|
|/
|
|
|
|
|
|
| |
An `C.this` term with erroneous class `C` will get a
`NoPrefix` type. A subsequent implicit search on this
crashed. This is fixed now.
Fixes #324.
|
| |
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
|
|
| |
The lines in question now cause an error ("cannot be instantiated...")
which masks the real tests at phase PostTyper.
Also adapt bugcount of hklower test
|
| |
|
|
|
|
|
|
|
|
|
|
| |
If `T` is a member of `p` then
{ import p._; ... T ... }
should be checked in the same way as
{ ... p.T ... }
|
|
|
|
|
| |
Fix wording so that it works for nested errors as well.
Incorparte Tiark's latest example.
|
|
|
|
|
|
| |
Reason: They might be overridden by other lazy vals
that are not realizable, and therefore risk creating
bad bounds.
|
| |
|
|
|
|
|
|
| |
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.
|
|
|
|
| |
Fixes #50.
|
|
|
|
|
|
|
| |
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.
|
|\
| |
| | |
Handle "missing args" case when expected type is a singleton type.
|
| |
| |
| |
| | |
Fixes #803.
|
|/
|
|
|
|
|
|
|
| |
It seems when unpickling nsc that some module classes come
without a source module. Survive this situation rather than
crashing. i859.scala is an example.
i859 compiles with the patch, but causes a deep subtype when unpickling.
Not sure whether scalac does the same.
|
|
|
|
|
|
|
|
|
| |
- Document the entry points
- It is now possible to set a custom reporter without using a custom
context
- Use `null` for optional arguments to make it easier to run the
compiler using reflection or from Java.
- DPDirectCompiler does not use a custom context anymore
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Also CompilerTest no longer runs the compiler with the context
DottyTest#ctx. Previously, we got away with this because
Compiler#process ignored it and created a new Context, but this commit
fixes this, and it is now very important that we use a different context
for every test we compile. Since DottyTest#ctx was the only part of
DottyTest we used, CompilerTest no longer extends DottyTest to make sure
that we do not use it accidentally. If we want to use DottyTest as a
base class for tests again, we will have to remove its implicit Context
field first.
Also do not try to initialize the definitions in the context used by
partest, this is not necessary.
|
|
|
|
|
|
|
|
| |
- Removed "-Xprint-types", it is only rarely needed and makes it very
hard to read trees, enable it yourself if you need it.
- Removed "-Ylog:<some", this does not seem to have any effect
currently.
- Removed "-pagewidth 90", this is overloaded in tests.scala to 160 anyway.
|
| |
|
| |
|
| |
|
|
|
|
| |
This allows us to run compileStdLib without deep subtypes again.
|
|
|
|
|
| |
New test that exhibited the problem is ski.scala. Previously
this did not fail with a bounds violation.
|
|
|
|
| |
This makes compileIndexedSeq pass again.
|
|
|
|
|
|
|
|
|
| |
Type params should be computed before computing the whole info of
a type. Without the patch we get a cyclic reference in the compileMixed
test.
Note that compileIndexedSeq does not pass with this commit (it passed
before), this is fixed in the next commit.
|
|
|
|
|
|
|
| |
Need to also look info refined types.
Need to handle case where we hit a NoCompleter again.
Fixes #974 and makes MutableSortedSetFactory in stdlib compile.
|
|
|
|
|
|
|
| |
I observed in a local partest a file with was a java.io.Path, not an SFile.
They should be treated like SFiles. Not clear why this came up. The file
in question (partest-generated/pos/Patterns_v1.scala) looked just like
all the others that were read as SFiles.
|
| |
|
|\
| |
| | |
Ycheck that scala.Array is erazed to either Object or JavaArrayType.
|
| | |
|
|\ \
| | |
| | | |
Add tests for dotc.typer pickling/unpickling
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | | |
One error gest supporessed now because
it has the same position as a previous one.
|
|\ \ \
| | | |
| | | | |
Change distribute or
|
| | | | |
|
| | |/
| |/|
| | |
| | | |
The fix solves two cases where we had a deep subtype before.
|
|\ \ \
| |/ /
|/| | |
Fix typo in command run by Jenkins
|
| | |
| | |
| | |
| | | |
The effect of this typo was that Ycheck:tailrec was never run on Jenkins.
|
| | |
| | |
| | |
| | | |
Closes #241 -- that took a while!
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
We now get a cyclic reference when inheriting from an inner class
with the same name in an outer supertype. Since this was legal
in Scala2 it's good to explain that particular case. Test case
in overrideClass.scala
|