blob: 4c7be2cc8291ce714b5dba776759185ba49c91e2 (
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
|
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 Application {
object IC extends Channel[Int]
def f[b](x: ![b]): Int = x match {
case send: ![c] =>
send.chan match {
case IC => send.data
}
}
}
object Test2 extends Application {
object IC extends Channel[Set[Int]]
def f[b](s: ![b]): Set[Int] = s match {
case IC ! x => x
}
}
|