blob: 77736305f47446c2579218045e09b5ab5f69c4da (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
// To compile this test, we need some more elaborate GADT capabilities.
// Not sure yet we should invest to get them.
class Channel[a]
import collection.mutable.Set
case class ![a](chan: Channel[a], data: a)
/*
object Bang {
def unapply[a](x: ![a]): Option[{Channel[a], a}] =
Some(x.chan, x.data)
}
*/
object Test extends App {
object IC extends Channel[Int]
def f[b](x: ![b]): Int = x match {
case send: ![c] =>
send.chan match {
case IC => send.data // Here, from the fact that `chan` is an IC, we need to conclude that `c` is Int.
}
}
}
object Test2 extends App {
object IC extends Channel[Set[Int]]
def f[b](s: ![b]): Set[Int] = s match {
case IC ! x => x
}
}
|