From 67062db57c1abef88e0049dac5d82d4f13375a48 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Thu, 3 Oct 2013 23:02:27 -0700 Subject: Single Abstract Method support: synthesize SAMs Under `-Xexperimental`, `typedFunction` invokes `synthesizeSAMFunction` when the expected type for the function literal (`pt`) is not the built-in `FunctionN` type of the expected arity, but `pt` does have a SAM with the expected number of arguments. PS: We'll require `import language.sam` instead of `-Xexperimental`, as soon as the SIP is ready and there are more tests. --- test/files/pos/sammy_poly.scala | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 test/files/pos/sammy_poly.scala (limited to 'test/files/pos/sammy_poly.scala') diff --git a/test/files/pos/sammy_poly.scala b/test/files/pos/sammy_poly.scala new file mode 100644 index 0000000000..f03be4f8f5 --- /dev/null +++ b/test/files/pos/sammy_poly.scala @@ -0,0 +1,6 @@ +// test synthesizeSAMFunction where the sam type is not fully defined +class T { + trait F[T, U] { def apply(x: T): U } + def app[T, U](x: T)(f: F[T, U]): U = f(x) + app(1)(x => List(x)) +} \ No newline at end of file -- cgit v1.2.3