diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2016-03-31 11:36:02 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2016-03-31 11:36:02 -0700 |
| commit | 5e5ab186fe5b8cf047fd3da58da29dbc8f9fbd71 (patch) | |
| tree | dabd389628cc48b730575786e7ef43d9f6657a00 /src/library | |
| parent | 5d7d64482011f72596a634a58138e253b7fe3531 (diff) | |
| download | scala-5e5ab186fe5b8cf047fd3da58da29dbc8f9fbd71.tar.gz scala-5e5ab186fe5b8cf047fd3da58da29dbc8f9fbd71.tar.bz2 scala-5e5ab186fe5b8cf047fd3da58da29dbc8f9fbd71.zip | |
Clarify how/when typedFunction unrolls eta-expansion
Jason points out the recursion will be okay if
type checking the function inside the eta-expansion provides
fully determined argument types, as the result type is
not relevant for this phase of typedFunction.
Diffstat (limited to 'src/library')
0 files changed, 0 insertions, 0 deletions