diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-02 14:47:23 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-02 14:47:23 +0100 |
commit | 2ee34efcb8ae2e8604b96de6824d4b55ce583e7d (patch) | |
tree | 08c952f95d095dde7ee815a88311a27b83237f12 /docs/SyntaxSummary.txt | |
parent | 2ecd2ddd85829faa2c724b00c8da11eb1eb8b04f (diff) | |
download | dotty-2ee34efcb8ae2e8604b96de6824d4b55ce583e7d.tar.gz dotty-2ee34efcb8ae2e8604b96de6824d4b55ce583e7d.tar.bz2 dotty-2ee34efcb8ae2e8604b96de6824d4b55ce583e7d.zip |
Propagating fully defined result types into closures.
Given a function
(params) => body
If the expected type is Ts => T and T is fully defined, desugar to a closure with given result type T.
Note, it's tempting to generalize this further to non-fully defined result types, but then we cannot do clsoure expansion during unsugaring, and things would get complicated.
Diffstat (limited to 'docs/SyntaxSummary.txt')
0 files changed, 0 insertions, 0 deletions