From 9e74d72d3638f70285aff88c53bab6cc57223d16 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 10 Oct 2016 13:48:46 +0200 Subject: Update tests to use new PolyType syntax. --- tests/neg/existentials.scala | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'tests/neg/existentials.scala') 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 -- cgit v1.2.3