tests/pending/pos/channels.scala


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
  }
}