diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-06-25 17:08:45 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-06-25 17:08:45 -0700 |
| commit | 807dc9e15fa36cc92a9bd2802dbfbff2de5d0dec (patch) | |
| tree | 14c9e0b3412df3ff8bb699d7effb0c0b57f930c0 /test/files/pos | |
| parent | 2a17db002758379fe0b9ee2a4e41ac9e3ca6c30d (diff) | |
| parent | 9f2b2894ba2b45135943e943d13898aefc333cc2 (diff) | |
| download | scala-807dc9e15fa36cc92a9bd2802dbfbff2de5d0dec.tar.gz scala-807dc9e15fa36cc92a9bd2802dbfbff2de5d0dec.tar.bz2 scala-807dc9e15fa36cc92a9bd2802dbfbff2de5d0dec.zip | |
Merge pull request #2659 from retronym/ticket/7584
SI-7584 Fix typer regression with by-name parameter types
Diffstat (limited to 'test/files/pos')
| -rw-r--r-- | test/files/pos/t7584.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/files/pos/t7584.scala b/test/files/pos/t7584.scala new file mode 100644 index 0000000000..52d127ecb9 --- /dev/null +++ b/test/files/pos/t7584.scala @@ -0,0 +1,11 @@ +object Test { + def fold[A, B](f: (A, => B) => B) = ??? + def f[A, B](x: A, y: B): B = ??? + def bip[A, B] = fold[A, B]((x, y) => f(x, y)) + def bop[A, B] = fold[A, B](f) + + // these work: + fold[Int, Int]((x, y) => f(x, y)) + fold[Int, Int](f) +} + |