diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2016-03-30 17:17:34 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2016-03-30 20:07:34 -0700 |
| commit | 8e32d00e1679114ee1b3f9a90f235d2ab9feba2e (patch) | |
| tree | b7bb9f449797b561baf0a10a7eab004f01a8cf24 /test/files/pos | |
| parent | 7025be9a468419ca6076d78f8da32c6a667fc829 (diff) | |
| download | scala-8e32d00e1679114ee1b3f9a90f235d2ab9feba2e.tar.gz scala-8e32d00e1679114ee1b3f9a90f235d2ab9feba2e.tar.bz2 scala-8e32d00e1679114ee1b3f9a90f235d2ab9feba2e.zip | |
Keep Function when CBN arg thunk targets a SAM
The body of `def delay[T](v: => T) = (v _): F0[T]`
becomes `() => v` during `typedEta`, and then uncurry
considers whether to strip the function wrapper since
`v` is known to be a `Function0` thunk. Stripping is sound
when the expected type is `Function0` for this expression,
but that's no longer a given, since we could be expecting any
nullary SAM.
Also sweep up a bit around `typedEta`.
Encapsulate the, erm, creative encoding of
`m _` as `Typed(m, Function(Nil, EmptyTree))`.
Diffstat (limited to 'test/files/pos')
0 files changed, 0 insertions, 0 deletions