diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-07-21 19:53:28 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:12:17 +0200 |
| commit | d1cd3d738213c08242cae66623edba8e0102574c (patch) | |
| tree | 0465f6ecd46e0eb00bf15311cf6992a5a848b6ae /test | |
| parent | e8aecfa4d48383321549aa8f1ec8d1edb0ccaf06 (diff) | |
| download | dotty-d1cd3d738213c08242cae66623edba8e0102574c.tar.gz dotty-d1cd3d738213c08242cae66623edba8e0102574c.tar.bz2 dotty-d1cd3d738213c08242cae66623edba8e0102574c.zip | |
Keep track of parameter bounds in LambdaAbstract and EtaReduce
1) Lambda abstract now records bounds of abstracted type parameters in TypeLambda
2) Eta-reduce likewise keeps the bounds it finds in the TypeLambda
3) Eta-reduce now also translates hk$i references to type parameters of the reduced type.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions