| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |
|
| |
|
|
|
|
| |
Also: Standardized on selectorName; Translate $init$ to <init> when unpickling.
|
| |
|
|
|
|
| |
Plus more commenting of Desugar
|
|
|
|
| |
Now come with test cases.
|
| |
|
| |
|
|
|
|
|
|
|
| |
1. Needed to interpolate aftyer implicit parameyters are added.
2. Also needed to avoid constraining typevars if compared against selection proto.
Original coder example now typechecks.
|
| |
|
|
|
|
| |
Caching, plus whether we want to match on signatures or types.
|
|
|
|
| |
We need to dealias any bounds before adding it to the constraint because otherwise we might have added a constraint X <: X in disguise.
|
| |
|
|
|
|
|
|
| |
1. Typing blocks: forgot to create new scope. Now fixed.
2. The decitsion whether to interpolate a type variable was made based on the type variable's position and the current tree's position. This is too imprecise, because we might have auto-generated trees where all important parts have the same position. We now check for actual tree containment: A type variable can be interpolated for the type of a tree T if T contains the tree which introduced the type variable.
|
|
|
|
| |
For interoperability we will keep for the time being the traditional treatment of tuples as instances of Tuple 2… Tuple 22. The new hlist-like treatment will be done in a future step. The flip is controlled by variable "unboxedPairs".
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
Self types were not taken into account when doing a typedIdent. The fix in typedIdent caused as CyclicReference when
typing the self type itself. This in turn is fixed by distinguishing more carefully in denotNamed in Namer which context we are in.
|
| |
|
| |
|
|
|
|
| |
map on collections now works, including associated CanBuildFrom searches.
|
| |
|
| |
|
|
|
|
| |
16c1ddd3bb86c61890418b8394d44486e7bbd9dd
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
| |
That is, in a selection qual.name(args), qual can be adapted to obtain a member "name" that matches args. Important to make usage patterns like this one work:
1 + BigInt(x)
|
|
|
|
| |
Plus a few bugfixes for implicits
|
|
|
|
| |
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.
|
| |
|
|
|
|
| |
Plus a new test file: implicits1
|
|
|