diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-10-20 22:28:53 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-10-20 22:28:53 +0000 |
| commit | 98b904db879a0b987d6ae50e5d5d990285ed8c59 (patch) | |
| tree | 7e39a35dfc00ab548ca286bc53776407646d10b4 /src/compiler/scala/tools/nsc/typechecker/Implicits.scala | |
| parent | dd8706fc1190909552fd5a84c3e311aaa2e80466 (diff) | |
| download | scala-98b904db879a0b987d6ae50e5d5d990285ed8c59.tar.gz scala-98b904db879a0b987d6ae50e5d5d990285ed8c59.tar.bz2 scala-98b904db879a0b987d6ae50e5d5d990285ed8c59.zip | |
more flexible inference wrt type skolems
instead of barring types that have been skolemized after the TypeVar
they're being compared against, (isRelatable) simply remember when a
type var is compared to a type skolem from a later skolemization level
finally, repack the solution for the type var into a fresh existential
if the compared level exceeded ours
NOTE: must be enabled using -Xexperimental
review by extempore
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Implicits.scala')
0 files changed, 0 insertions, 0 deletions