1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
sealed trait Option {}
case class Choice(a: Option, b: Option) extends Option;
case class Some(x: Boolean) extends Option;
case object None extends Option;
object test {
// drop any case and it will report an error
// note that booleans are taken into account
def f(opt: Option) = opt match {
case Choice(None, None) => 1;
case Choice(None, Some(_)) => 1;
case Choice(None, Choice(_, _)) => 1;
case Choice(Some(true), None) => 1;
case Choice(Some(false), None) => 1;
case Choice(Some(_), Some(_)) => 1;
case Choice(Some(_), Choice(_, _)) => 1;
case Choice(Choice(_, _), None) => 1;
case Choice(Choice(_, _), Some(_)) => 1;
case Choice(Choice(_, _), Choice(_, _)) => 1;
case Some(b) => 4;
case None => 5;
}
}
|