aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/depmet_implicit_chaining_zw.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/pos/depmet_implicit_chaining_zw.scala')
-rw-r--r--tests/untried/pos/depmet_implicit_chaining_zw.scala4
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/untried/pos/depmet_implicit_chaining_zw.scala b/tests/untried/pos/depmet_implicit_chaining_zw.scala
index ce5ea476d..a9da1e976 100644
--- a/tests/untried/pos/depmet_implicit_chaining_zw.scala
+++ b/tests/untried/pos/depmet_implicit_chaining_zw.scala
@@ -7,11 +7,11 @@ trait ZipWith[N, S] {
}
object ZipWith {
- implicit def ZeroZipWith[S] = new ZipWith[Zero, S] {
+ implicit def ZeroZipWith[S]: ZipWith[Zero,S]{type T = Stream[S]} = new ZipWith[Zero, S] {
type T = Stream[S]
}
- implicit def SuccZipWith[N, S, R](implicit zWith : ZipWith[N, R]) = new ZipWith[Succ[N], S => R] {
+ implicit def SuccZipWith[N, S, R](implicit zWith : ZipWith[N, R]): ZipWith[Succ[N],S => R]{type T = Stream[S] => zWith.T} = new ZipWith[Succ[N], S => R] {
type T = Stream[S] => zWith.T // dependent types replace the associated types functionality
}