diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-16 11:55:57 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-16 11:56:07 +0200 |
commit | 7d414eb69b28fa0f6855168aa7afe43a75b3f23e (patch) | |
tree | c6410e0331a0f43bde6876337db21415e0f81235 /README.md | |
parent | c54cd3e0503144f362ecb000109b75a0a53b3165 (diff) | |
download | dotty-7d414eb69b28fa0f6855168aa7afe43a75b3f23e.tar.gz dotty-7d414eb69b28fa0f6855168aa7afe43a75b3f23e.tar.bz2 dotty-7d414eb69b28fa0f6855168aa7afe43a75b3f23e.zip |
Roll Uncurry into Erasure
Making cpy recompute types uncovered errors in uncurry. In a nutshell,
the intermediate Apply nodes of a curried function were ill-typed, which
caused errors produced by TypeAssigner. These nodes were eliminated down the
road, but the errors are already issued.
I did not find a good way to treat uncurry as a treetransform. Since it is rather
trivial, it did not seem warranted to make it a full transformer either. So in
the end the uncurry functionality became part of erasure.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions