diff options
author | Martin Odersky <odersky@gmail.com> | 2008-06-18 15:39:36 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-06-18 15:39:36 +0000 |
commit | 72da305329d3a8889e4e5f8d81a0ecad04b097ad (patch) | |
tree | 6b79b4d0d37b73444a712279fc4b08c5009fe45f /test/pending/run/t0508.scala | |
parent | 707e55c2271a6b35fb4a173106c2a36aa07cfe9a (diff) | |
download | scala-72da305329d3a8889e4e5f8d81a0ecad04b097ad.tar.gz scala-72da305329d3a8889e4e5f8d81a0ecad04b097ad.tar.bz2 scala-72da305329d3a8889e4e5f8d81a0ecad04b097ad.zip |
gixed gilles' gadt problems. Added some tests
Diffstat (limited to 'test/pending/run/t0508.scala')
-rwxr-xr-x | test/pending/run/t0508.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/pending/run/t0508.scala b/test/pending/run/t0508.scala new file mode 100755 index 0000000000..7ef6f8197f --- /dev/null +++ b/test/pending/run/t0508.scala @@ -0,0 +1,13 @@ +object Test extends Application { + + case class Foo(s: String, n: Int) + + def foo[A, B, C](unapply1: A => Option[(B, C)], v: A) = { + unapply1(v) match { + case Some((fst, snd)) => println("first: " + fst, " second: " + snd) + case _ => println(":(") + } + } + + foo(Foo.unapply, Foo("this might be fun", 10)) +} |