diff options
author | Martin Odersky <odersky@gmail.com> | 2006-11-01 15:46:44 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-11-01 15:46:44 +0000 |
commit | 8b0cd5cf7c2a682dd70d6b8ea32b521015bf2269 (patch) | |
tree | cb5378efe7955968149bcdcee069ecce320eaf20 /test/files/pos | |
parent | 82ee25df5d42dbace00c202cb967d93249be5e87 (diff) | |
download | scala-8b0cd5cf7c2a682dd70d6b8ea32b521015bf2269.tar.gz scala-8b0cd5cf7c2a682dd70d6b8ea32b521015bf2269.tar.bz2 scala-8b0cd5cf7c2a682dd70d6b8ea32b521015bf2269.zip |
allows intersection type patterns
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/bug789.scala | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/test/files/pos/bug789.scala b/test/files/pos/bug789.scala new file mode 100644 index 0000000000..7a17f10b0e --- /dev/null +++ b/test/files/pos/bug789.scala @@ -0,0 +1,32 @@ +object main { // don't do this at home + + trait Impl + + trait SizeImpl extends Impl { def size = 42 } + + trait ColorImpl extends Impl { def color = "red" } + + type Both = SizeImpl with ColorImpl + + def info(x:Impl) = x match { + case x:Both => "size "+x.size+" color "+x.color // you wish + case x:SizeImpl => "size "+x.size + case x:ColorImpl => "color "+x.color + case _ => "n.a." + } + + def info2(x:Impl) = x match { + case x:SizeImpl with ColorImpl => "size "+x.size+" color "+x.color // you wish + case x:SizeImpl => "size "+x.size + case x:ColorImpl => "color "+x.color + case _ => "n.a." + } + + + def main(args:Array[String]): Unit = { + // make up some class that has a size + class MyNode extends SizeImpl + Console.println("hello " + info(new MyNode)) + Console.println("hello " + info2(new MyNode)) + } +} |