diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-10 13:48:46 +0200 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-10-12 16:13:49 +0200 |
| commit | 9e74d72d3638f70285aff88c53bab6cc57223d16 (patch) | |
| tree | f354c07cba6a589474d4a9a6a528ec21e32702b9 /tests/neg/existentials.scala | |
| parent | d8127d2f0f31913cca7eb60a721b25974b3bfde6 (diff) | |
| download | dotty-9e74d72d3638f70285aff88c53bab6cc57223d16.tar.gz dotty-9e74d72d3638f70285aff88c53bab6cc57223d16.tar.bz2 dotty-9e74d72d3638f70285aff88c53bab6cc57223d16.zip | |
Update tests to use new PolyType syntax.
Diffstat (limited to 'tests/neg/existentials.scala')
| -rw-r--r-- | tests/neg/existentials.scala | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tests/neg/existentials.scala b/tests/neg/existentials.scala index 4798504d9..351febc79 100644 --- a/tests/neg/existentials.scala +++ b/tests/neg/existentials.scala @@ -1,7 +1,7 @@ object TestList { - var x: ([X] -> List[List[X]])[_] = List(List(1)) // error: unreducible - var y: ([X] -> List[Seq[X]])[_] = List(List(1)) // error: unreducible + var x: ([X] => List[List[X]])[_] = List(List(1)) // error: unreducible + var y: ([X] => List[Seq[X]])[_] = List(List(1)) // error: unreducible x = x y = y @@ -15,8 +15,8 @@ object TestList { } object TestSet { - var x: ([Y] -> Set[Set[Y]])[_] = Set(Set("a")) // error: unreducible - var y: ([Y] -> Set[Iterable[Y]])[_] = Set(Set("a")) // error: unreducible + var x: ([Y] => Set[Set[Y]])[_] = Set(Set("a")) // error: unreducible + var y: ([Y] => Set[Iterable[Y]])[_] = Set(Set("a")) // error: unreducible x = x y = y @@ -36,14 +36,14 @@ class TestX { def cmp: T => Boolean = (x == _) } - val x: ([Y] -> C[C[Y]])[_] = new C(new C("a")) // error: unreducible + val x: ([Y] => C[C[Y]])[_] = new C(new C("a")) // error: unreducible type CC[X] = C[C[X]] val y: CC[_] = ??? // error: unreducible type D[X] <: C[X] - type DD = [X] -> D[D[X]] + type DD = [X] => D[D[X]] val z: DD[_] = ??? // error: unreducible val g = x.get |