diff options
Diffstat (limited to 'tests/untried/pos/depmet_implicit_chaining_zw.scala')
-rw-r--r-- | tests/untried/pos/depmet_implicit_chaining_zw.scala | 4 |
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 } |