summaryrefslogtreecommitdiff
path: root/test/files/pos/sammy_poly.scala
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@typesafe.com>2016-02-08 18:24:43 -0800
committerAdriaan Moors <adriaan.moors@typesafe.com>2016-03-26 22:52:41 -0700
commit8433b6fa0e86dfdcd3db31b97844b14d65e45359 (patch)
tree08d2db915b88057ff1b16479e797bbca41a385ce /test/files/pos/sammy_poly.scala
parent651d67cff7af581751257711ad99d318a5a2879a (diff)
downloadscala-8433b6fa0e86dfdcd3db31b97844b14d65e45359.tar.gz
scala-8433b6fa0e86dfdcd3db31b97844b14d65e45359.tar.bz2
scala-8433b6fa0e86dfdcd3db31b97844b14d65e45359.zip
Treat `Function` literals uniformly, expecting SAM or FunctionN.
They both compile to INDY/MetaLambdaFactory, except when they occur in a constructor call. (TODO: can we lift the ctor arg expression to a method and avoid statically synthesizing anonymous subclass altogether?) Typers: - no longer synthesize SAMs -- *adapt* a Function literal to the expected (SAM/FunctionN) type - Deal with polymorphic/existential sams (relevant tests: pos/t8310, pos/t5099.scala, pos/t4869.scala) We know where to find the result type, as all Function nodes have a FunctionN-shaped type during erasure. (Including function literals targeting a SAM type -- the sam type is tracked as the *expected* type.) Lift restriction on sam types being class types. It's enough that they dealias to one, like regular instance creation expressions. Contexts: - No longer need encl method hack for return in sam. Erasure: - erasure preserves SAM type for function nodes - Normalize sam to erased function type during erasure, otherwise we may box the function body from `$anonfun(args)` to `{$anonfun(args); ()}` because the expected type for the body is now `Object`, and thus `Unit` does not conform. Delambdafy: - must set static flag before calling createBoxingBridgeMethod - Refactored `createBoxingBridgeMethod` to wrap my head around boxing, reworked it to generalize from FunctionN's boxing needs to arbitrary LMF targets. Other refactorings: ThisReferringMethodsTraverser, TreeGen.
Diffstat (limited to 'test/files/pos/sammy_poly.scala')
-rw-r--r--test/files/pos/sammy_poly.scala3
1 files changed, 2 insertions, 1 deletions
diff --git a/test/files/pos/sammy_poly.scala b/test/files/pos/sammy_poly.scala
index c629be7166..75ee36f654 100644
--- a/test/files/pos/sammy_poly.scala
+++ b/test/files/pos/sammy_poly.scala
@@ -1,7 +1,8 @@
// test synthesizeSAMFunction where the sam type is not fully defined
class T {
trait F[T, U] { def apply(x: T): U }
+// type F[T, U] = T => U
// NOTE: the f(x) desugaring for now assumes the single abstract method is called 'apply'
def app[T, U](x: T)(f: F[T, U]): U = f(x)
app(1)(x => List(x))
-} \ No newline at end of file
+}