diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-17 12:18:43 +0100 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-20 19:54:21 +0100 |
| commit | 8552740beda9bb07de1da329e9dc8c002090fe16 (patch) | |
| tree | 745b6f0f7f7d86cdd91c3776acb0b24dd4519729 /test | |
| parent | 9e513a6d29f2cb060caf58ff5568d7955b96305a (diff) | |
| download | scala-8552740beda9bb07de1da329e9dc8c002090fe16.tar.gz scala-8552740beda9bb07de1da329e9dc8c002090fe16.tar.bz2 scala-8552740beda9bb07de1da329e9dc8c002090fe16.zip | |
[vpm] pack types of if branches before lubbing
this way we don't end up with fresh, incompatible, skolems for every branch, but a neatly packed existential
you get much nicer lubs this way -- threw in a fast path (I hope) that avoids lubbing when unnecessary (same types)
since lub isn't robust enough to deal with the result of packedType,
and we only really need the trivial case (S =:= T), special case it for now
... don't pack in ifs after typer, also only when virtPatmat
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions