| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
| |
RefChecks is now enabled. Some of the tests had to be fixed to be refchecks-correct.
|
| |
|
|
|
|
| |
Constructors of parameterized classes now get polymorphic types when unpickled, as is the case when defining them or when reading them from a Java classfile. This caused a ripple of other faults which this commit also fixes.
|
|
|
|
|
|
|
| |
Now throws an exception for merge conflicts of types joint by |, a warning for types joint by &.
Exception is handled as in the case of CyclicRefernce.
Also: Added several typerState.checkConsistent for future debugging purposes.
|
| |
|
|
|
|
|
| |
In particular, changed internal representation of Java constructors and
changed treatment of parent constructors in templates.
|
|
|
|
|
|
|
| |
symbol.
The alternative (tpe eq sym.typeConstructor) does not work because types are not unique.
The alternative (tpe.typeSymbol == sym) does not work because other types than TypeRefs have typeSymbols.
|
|
|
|
| |
Several of these avoided stackoverflows/cyclic references
|
|
|
|
| |
Main refactoring: lub/glb moves to type comparers.
|
|
|
|
| |
Also updated tests.
|
|
|
|
| |
Main blooper: TypeVars got dereferenced in all Typemaps, so disappeared too quickly from types during inference.
|
|
Make sure that only expanded trees are passed to functions that require expanded trees.
|