diff options
author | Martin Odersky <odersky@gmail.com> | 2014-10-28 16:21:06 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-11-09 10:17:34 +0100 |
commit | 252b6d9f3a80bdfc789e2f5b463ee7dc7a10b659 (patch) | |
tree | b2a1144c5231c0dc39d1073d536b10c356dd2d11 /src/dotty/tools/dotc/typer | |
parent | ad45e2e4b72057499b33a1cb4fbf5eb41ab8651c (diff) | |
download | dotty-252b6d9f3a80bdfc789e2f5b463ee7dc7a10b659.tar.gz dotty-252b6d9f3a80bdfc789e2f5b463ee7dc7a10b659.tar.bz2 dotty-252b6d9f3a80bdfc789e2f5b463ee7dc7a10b659.zip |
Generalize lift behavior between Flatten and LambdaLift
To be combinable with follow-up mini-phases the lift operation needs to handle Thickets specially.
This commit factors out the behavior from LambdaLift, so that Flatten can do the same thing.
Diffstat (limited to 'src/dotty/tools/dotc/typer')
0 files changed, 0 insertions, 0 deletions