From 6093bbedc0c0cf39650c4cd931afb18feb1bcda8 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 16 Jan 2007 20:33:20 +0000 Subject: enabled -Xunapply. fixed bug contrib 291. Added Map/Set types to Predef. Option no longer inherits from Iterable, but there's an implicit conversion. various other small things. --- test/files/pos/channels.scala | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 test/files/pos/channels.scala (limited to 'test/files/pos/channels.scala') diff --git a/test/files/pos/channels.scala b/test/files/pos/channels.scala new file mode 100644 index 0000000000..6513f3a5f0 --- /dev/null +++ b/test/files/pos/channels.scala @@ -0,0 +1,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 + } +} + -- cgit v1.2.3