From 87d1a060ea818fde4be4b102860ccaddd05f504f Mon Sep 17 00:00:00 2001 From: Burak Emir Date: Tue, 21 Nov 2006 15:11:08 +0000 Subject: unapply code in typer needs call to memberType? --- test/pending/pos/unapplyNeedsMemberType.scala | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 test/pending/pos/unapplyNeedsMemberType.scala (limited to 'test/pending/pos/unapplyNeedsMemberType.scala') diff --git a/test/pending/pos/unapplyNeedsMemberType.scala b/test/pending/pos/unapplyNeedsMemberType.scala new file mode 100644 index 0000000000..b423257e04 --- /dev/null +++ b/test/pending/pos/unapplyNeedsMemberType.scala @@ -0,0 +1,25 @@ +// error with -Xunapply, (because of missing call to memberType?) + +trait Gunk[a] { + + type Seq + + object Cons { + def unapply(s: Seq) = unapply_Cons(s) + } + def unapply_Cons(s: Any): Option[Tuple2[a, Seq]] +} + +class Join[a] extends Gunk[a] { + type Seq = JoinSeq + + abstract class JoinSeq + case class App(xs: Seq, ys: Seq) extends JoinSeq + + def append(s1: Seq, s2: Seq): Seq = s1 // mock implementation + + def unapply_Cons(s: Any) = s match { + case App(Cons(x, xs), ys) => Some(Pair(x, append(xs, ys))) + case _ => null + } +} -- cgit v1.2.3