diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-17 12:15:37 +0100 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-20 19:54:08 +0100 |
| commit | 9e513a6d29f2cb060caf58ff5568d7955b96305a (patch) | |
| tree | 2ae9ab7e38b0fa09aa93ebb18b277260db88a150 /src/intellij | |
| parent | b046a6e3316df8b27ac31e71da1a139c800ccce7 (diff) | |
| download | scala-9e513a6d29f2cb060caf58ff5568d7955b96305a.tar.gz scala-9e513a6d29f2cb060caf58ff5568d7955b96305a.tar.bz2 scala-9e513a6d29f2cb060caf58ff5568d7955b96305a.zip | |
[vpm] fix half of my existential troubles
no need for the clunky repackExistential
pack the type of each case instead, since the skolems we've created shouldn't last beyond the case anyway
this way we don't end up with fresh, incompatible, skolems for every case, but a neatly packed existential
Diffstat (limited to 'src/intellij')
0 files changed, 0 insertions, 0 deletions