diff options
author | michelou <michelou@epfl.ch> | 2006-01-17 15:29:35 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-01-17 15:29:35 +0000 |
commit | 1ae15a9a30c89379cc919ef43faf9736f3ec2ffc (patch) | |
tree | d760fc97c98cb69bc51e9208c1ab73c59ec702e6 /test/files | |
parent | e81a5c80747db20db692b8c6e4f44374b527ca9d (diff) | |
download | scala-1ae15a9a30c89379cc919ef43faf9736f3ec2ffc.tar.gz scala-1ae15a9a30c89379cc919ef43faf9736f3ec2ffc.tar.bz2 scala-1ae15a9a30c89379cc919ef43faf9736f3ec2ffc.zip |
added explicit type for partial functions in te...
added explicit type for partial functions in test/files/pos/eta.scala,
..
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/pos/eta.scala | 6 | ||||
-rw-r--r-- | test/files/pos/philippe2.scala | 3 |
2 files changed, 6 insertions, 3 deletions
diff --git a/test/files/pos/eta.scala b/test/files/pos/eta.scala index 7d862f67b1..590e7149f8 100644 --- a/test/files/pos/eta.scala +++ b/test/files/pos/eta.scala @@ -1,5 +1,7 @@ +// $Id$ + object test { def sum(f: Int => Int)(x: Int, y: Int): Int = 0; -def g = sum; -}
\ No newline at end of file +def g: (Int => Int) => (Int, Int) => Int = sum; +} diff --git a/test/files/pos/philippe2.scala b/test/files/pos/philippe2.scala index 0dc896ebfd..2ab3a382ef 100644 --- a/test/files/pos/philippe2.scala +++ b/test/files/pos/philippe2.scala @@ -1,7 +1,8 @@ +// $Id$ import scala._; class m1() { def n() = 0; def foo(i: Int)(j: Int): Unit = (); - val bar = foo(n()); + val bar: Int => Unit = foo(n()); } |