diff options
author | Martin Odersky <odersky@gmail.com> | 2014-12-21 12:59:28 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-12-21 12:59:34 +0100 |
commit | 7c40b03aa9210dc1989cc08c0f03f7d4dd4e9e47 (patch) | |
tree | ed2c6cd0c3d69e34c0ffbbf8298ae15f5780731c /tests/pending | |
parent | b6755f6927c07337b0819d7503f2c7b1674d892f (diff) | |
download | dotty-7c40b03aa9210dc1989cc08c0f03f7d4dd4e9e47.tar.gz dotty-7c40b03aa9210dc1989cc08c0f03f7d4dd4e9e47.tar.bz2 dotty-7c40b03aa9210dc1989cc08c0f03f7d4dd4e9e47.zip |
test reorg
Moved working tests to pos, annotated non-working ones.
Diffstat (limited to 'tests/pending')
-rw-r--r-- | tests/pending/pos/bounds.scala | 11 | ||||
-rw-r--r-- | tests/pending/pos/caseClassInMethod.scala | 5 | ||||
-rw-r--r-- | tests/pending/pos/channels.scala | 4 | ||||
-rw-r--r-- | tests/pending/pos/class-dependent-extension-method.scala | 3 |
4 files changed, 3 insertions, 20 deletions
diff --git a/tests/pending/pos/bounds.scala b/tests/pending/pos/bounds.scala deleted file mode 100644 index 26bc84a1b..000000000 --- a/tests/pending/pos/bounds.scala +++ /dev/null @@ -1,11 +0,0 @@ -trait Map[A, +C] { - def ++ [B1 >: C] (kvs: Iterable[Tuple2[A, B1]]): Map[A, B1] = this - def ++ [B1 >: C] (kvs: Iterator[Tuple2[A, B1]]): Map[A, B1] = this -} - -class ListMap[A, +B] extends Map[A, B] {} - -object ListMap { - def empty[X, Y] = new ListMap[X, Y] - def apply[A1, B2](elems: Tuple2[A1, B2]*): Map[A1, B2] = empty[A1,B2].++(elems.iterator) -} diff --git a/tests/pending/pos/caseClassInMethod.scala b/tests/pending/pos/caseClassInMethod.scala deleted file mode 100644 index 958e5dd47..000000000 --- a/tests/pending/pos/caseClassInMethod.scala +++ /dev/null @@ -1,5 +0,0 @@ -object t { - def f = { object C; case class C(); 1 } - // pending: def g = { case class D(x: Int); object D; 2 } - def h = { case class E(y: Int = 10); 3 } -} diff --git a/tests/pending/pos/channels.scala b/tests/pending/pos/channels.scala index b2f0cdc32..77736305f 100644 --- a/tests/pending/pos/channels.scala +++ b/tests/pending/pos/channels.scala @@ -1,3 +1,5 @@ +// 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 @@ -16,7 +18,7 @@ object Test extends App { def f[b](x: ![b]): Int = x match { case send: ![c] => send.chan match { - case IC => send.data + case IC => send.data // Here, from the fact that `chan` is an IC, we need to conclude that `c` is Int. } } } diff --git a/tests/pending/pos/class-dependent-extension-method.scala b/tests/pending/pos/class-dependent-extension-method.scala deleted file mode 100644 index b557dfa8f..000000000 --- a/tests/pending/pos/class-dependent-extension-method.scala +++ /dev/null @@ -1,3 +0,0 @@ -class C(val a: String) extends AnyVal { - def foo[U <: a.type]: Unit = foo[U] -} |