diff options
author | Burak Emir <emir@epfl.ch> | 2007-01-24 15:20:25 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2007-01-24 15:20:25 +0000 |
commit | 0ef0f40ae31bf8a1e3d5b9c6eea7ef5b5a073192 (patch) | |
tree | 0bb95122566e05dcc1f81322f3a3740d2e1a81cd /test/files/pos/unapplyNeedsMemberType.scala | |
parent | 1cbef2171c91fd0e001b4d0c1570c07017877044 (diff) | |
download | scala-0ef0f40ae31bf8a1e3d5b9c6eea7ef5b5a073192.tar.gz scala-0ef0f40ae31bf8a1e3d5b9c6eea7ef5b5a073192.tar.bz2 scala-0ef0f40ae31bf8a1e3d5b9c6eea7ef5b5a073192.zip |
moved working tests to files
Diffstat (limited to 'test/files/pos/unapplyNeedsMemberType.scala')
-rw-r--r-- | test/files/pos/unapplyNeedsMemberType.scala | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/files/pos/unapplyNeedsMemberType.scala b/test/files/pos/unapplyNeedsMemberType.scala new file mode 100644 index 0000000000..b423257e04 --- /dev/null +++ b/test/files/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 + } +} |