diff options
author | Martin Odersky <odersky@gmail.com> | 2013-08-09 14:30:38 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-08-09 14:30:38 +0200 |
commit | 73525ada82375ef0ff4be61a3bfbae8c74963ad0 (patch) | |
tree | d7b403c60d6eb5471ead5f65b94feecb982f7007 /test/x | |
parent | a326b06088d7eadde03bbcd56883b62fcfd21011 (diff) | |
download | dotty-73525ada82375ef0ff4be61a3bfbae8c74963ad0.tar.gz dotty-73525ada82375ef0ff4be61a3bfbae8c74963ad0.tar.bz2 dotty-73525ada82375ef0ff4be61a3bfbae8c74963ad0.zip |
Added support for pattern variables and Bind.
Also some fixes in adapt wrt patterns.
Diffstat (limited to 'test/x')
-rw-r--r-- | test/x/PatMat.scala | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/x/PatMat.scala b/test/x/PatMat.scala new file mode 100644 index 000000000..279373674 --- /dev/null +++ b/test/x/PatMat.scala @@ -0,0 +1,16 @@ +package x + +trait PatMat { + + trait A + type TT <: B1 + trait B2 + trait B1 extends B + case class B() + + def foo[T <: Any](x: TT) = x match { + case x: B => println("!!!") + case "hi" => ??? + } + +}
\ No newline at end of file |