| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
| |
Compiler tests can now be run with configurable number of compilers and runs in a compiler.
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
| |
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".
|