blob: 39dcdd73245101c163fc7baf80947b5f61f581f5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
class Term
case class Num(n: Int) extends Term
case class Add(x: Term, y: Term) extends Term
object Value {
def unapply(term: Any): Boolean = true
}
object Test {
def main(args: Array[String]): Unit = {
val term = Add(Num(1), Add(Num(2), Num(3)))
val res = term match {
case Add(Num(x), Num(y)) => "Add(Num, Num)"
case Add(Value(), y) => "Add(Value, ?)"
case _ => "?"
}
assert(res == "Add(Value, ?)")
}
}
|