summaryrefslogtreecommitdiff
path: root/test/files/pos/unapplyNeedsMemberType.scala
diff options
context:
space:
mode:
authorBurak Emir <emir@epfl.ch>2007-01-24 15:20:25 +0000
committerBurak Emir <emir@epfl.ch>2007-01-24 15:20:25 +0000
commit0ef0f40ae31bf8a1e3d5b9c6eea7ef5b5a073192 (patch)
tree0bb95122566e05dcc1f81322f3a3740d2e1a81cd /test/files/pos/unapplyNeedsMemberType.scala
parent1cbef2171c91fd0e001b4d0c1570c07017877044 (diff)
downloadscala-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.scala25
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
+ }
+}