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 /lib | |
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 'lib')
0 files changed, 0 insertions, 0 deletions