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/pos/tcpoly_overloaded.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/pos/tcpoly_overloaded.scala')
-rw-r--r-- | tests/pos/tcpoly_overloaded.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/pos/tcpoly_overloaded.scala b/tests/pos/tcpoly_overloaded.scala index 573eaadcb..f272590f7 100644 --- a/tests/pos/tcpoly_overloaded.scala +++ b/tests/pos/tcpoly_overloaded.scala @@ -11,7 +11,7 @@ trait Monad[T <: Bound[T], MyType[x <: Bound[x]], Bound[_]] { trait Test { def moo: MList[Int] - class MList[T](el: T) extends Monad[T, List, [X] -> Any] { + class MList[T](el: T) extends Monad[T, List, [X] => Any] { def flatMap[S <: RBound[S], RContainer[x <: RBound[x]], RBound[_], Result[x <: RBound[x]] <: Monad[x, RContainer, RBound]] (f: T => Result[S]): Result[S] = sys.error("foo") @@ -21,5 +21,5 @@ trait Test { def flatMap[S] (f: T => List[S], foo: Int): List[S] = sys.error("foo") } - val l: MList[String] = moo.flatMap[String, List, [X] -> Any, MList]((x: Int) => new MList("String")) + val l: MList[String] = moo.flatMap[String, List, [X] => Any, MList]((x: Int) => new MList("String")) } |