diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-23 11:59:28 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-23 12:01:48 +0200 |
commit | ffac03ab718637c414f5e23524f458b4f4e8f817 (patch) | |
tree | faf93ef6cd206834c3eba7679c4754befd90f6a2 /tests | |
parent | 890b8a45cc9d83a6ef67fee3ee05084313f34688 (diff) | |
download | dotty-ffac03ab718637c414f5e23524f458b4f4e8f817.tar.gz dotty-ffac03ab718637c414f5e23524f458b4f4e8f817.tar.bz2 dotty-ffac03ab718637c414f5e23524f458b4f4e8f817.zip |
Handle normalization of implicit dependent methods.
Now handles included test if toplevel implicit is given, but not yet without.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pending/pos/depmet_implicit_chaining_zw.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/pending/pos/depmet_implicit_chaining_zw.scala b/tests/pending/pos/depmet_implicit_chaining_zw.scala index a9da1e976..f0e8a373b 100644 --- a/tests/pending/pos/depmet_implicit_chaining_zw.scala +++ b/tests/pending/pos/depmet_implicit_chaining_zw.scala @@ -22,7 +22,11 @@ object ZipWith { // thus, I present ?: implicitly on steroids! def ?[T <: AnyRef](implicit w: T): w.type = w + type _0 = Zero + type _1 = Succ[Zero] type _2 = Succ[Succ[Zero]] - val zw = ?[ZipWith[_2, Int => String => Boolean]].x // : Stream[Int] => Stream[String] => Stream[Boolean] + val zw = ?[ZipWith[_2, Int => String => Boolean]]( + SuccZipWith[_1, Int, String => Boolean]( + SuccZipWith[_0, String, Boolean])).x // val zw = implicitly[ZipWith[Succ[Succ[Zero]], Int => String => Boolean]{type T = Stream[Int] => Stream[String] => Stream[Boolean]}].x } |