diff options
| author | Paul Phillips <paulp@improving.org> | 2011-12-26 14:26:05 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2011-12-30 11:19:05 -0800 |
| commit | d323f2f8d631404f10887d73e075e56a3fffc755 (patch) | |
| tree | c2edc3e3d67b355ee717d88a189fb7ba023f0516 /build.examples.xml | |
| parent | b2b59a124a2a8adf8e88c1e692c96263e0955b16 (diff) | |
| download | scala-d323f2f8d631404f10887d73e075e56a3fffc755.tar.gz scala-d323f2f8d631404f10887d73e075e56a3fffc755.tar.bz2 scala-d323f2f8d631404f10887d73e075e56a3fffc755.zip | |
Creator for existentials which flattens.
Currently it is possible to end up with nested existentials,
because existentialAbstraction only looks one level deeper.
This works harder to flatten them.
Diffstat (limited to 'build.examples.xml')
0 files changed, 0 insertions, 0 deletions