diff options
| author | Som Snytt <som.snytt@gmail.com> | 2014-03-28 17:22:44 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-28 17:40:58 -0700 |
| commit | 91fb5c07bdda40feb5ac933bc07357a17eb015b4 (patch) | |
| tree | 816f8cf33f34b8ac8344ecb2e13f2ded65a6a2e8 /spec/03-types.md | |
| parent | b3adae60f1834dca50ba002e89ac85efb7466896 (diff) | |
| download | scala-91fb5c07bdda40feb5ac933bc07357a17eb015b4.tar.gz scala-91fb5c07bdda40feb5ac933bc07357a17eb015b4.tar.bz2 scala-91fb5c07bdda40feb5ac933bc07357a17eb015b4.zip | |
SI-6054 Modern eta-expansion examples that almost run
This wasn't so easy after all. The clever one is to show
that `Option.fold(=>Z)` preserves the by-nameness of the zero value,
which may or may not be in the spec yet.
The addition to 6.26.5 was (I think) rejected as implementation-specific;
it should use the wording from 6.6 about "preserving by-nameness" or "by-namity"
(the latter has the advantage of sounding both more technical and somewhat inane).
Diffstat (limited to 'spec/03-types.md')
0 files changed, 0 insertions, 0 deletions