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 | |
| 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.
| -rw-r--r-- | tests/pending/pos/channels.scala | 4 | ||||
| -rw-r--r-- | tests/pos/bounds.scala (renamed from tests/pending/pos/bounds.scala) | 0 | ||||
| -rw-r--r-- | tests/pos/caseClassInMethod.scala (renamed from tests/pending/pos/caseClassInMethod.scala) | 0 | ||||
| -rw-r--r-- | tests/pos/class-dependent-extension-method.scala (renamed from tests/pending/pos/class-dependent-extension-method.scala) | 0 |
4 files changed, 3 insertions, 1 deletions
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/bounds.scala b/tests/pos/bounds.scala index 26bc84a1b..26bc84a1b 100644 --- a/tests/pending/pos/bounds.scala +++ b/tests/pos/bounds.scala diff --git a/tests/pending/pos/caseClassInMethod.scala b/tests/pos/caseClassInMethod.scala index 958e5dd47..958e5dd47 100644 --- a/tests/pending/pos/caseClassInMethod.scala +++ b/tests/pos/caseClassInMethod.scala diff --git a/tests/pending/pos/class-dependent-extension-method.scala b/tests/pos/class-dependent-extension-method.scala index b557dfa8f..b557dfa8f 100644 --- a/tests/pending/pos/class-dependent-extension-method.scala +++ b/tests/pos/class-dependent-extension-method.scala |