diff options
| author | Samuel Gruetter <samuel.gruetter@epfl.ch> | 2014-12-14 17:56:36 +0100 |
|---|---|---|
| committer | Samuel Gruetter <samuel.gruetter@epfl.ch> | 2014-12-16 13:35:06 +0100 |
| commit | 5be609fc4e04e3cca5e1435ee41b8cacac9b0513 (patch) | |
| tree | 7837b8b9f7ad23482e57467ec0987110810cc148 /tests/untried/pos/hk-infer.scala | |
| parent | 981a21816e4cb10b8fbe4edcf0659fb3995d63f8 (diff) | |
| download | dotty-5be609fc4e04e3cca5e1435ee41b8cacac9b0513.tar.gz dotty-5be609fc4e04e3cca5e1435ee41b8cacac9b0513.tar.bz2 dotty-5be609fc4e04e3cca5e1435ee41b8cacac9b0513.zip | |
run srewrite version 88d3cd4126d135617a8189f0a855757d7e2ab806 on tests/untried/pos
Diffstat (limited to 'tests/untried/pos/hk-infer.scala')
| -rw-r--r-- | tests/untried/pos/hk-infer.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/untried/pos/hk-infer.scala b/tests/untried/pos/hk-infer.scala index 30e347640..c23a9d151 100644 --- a/tests/untried/pos/hk-infer.scala +++ b/tests/untried/pos/hk-infer.scala @@ -20,7 +20,7 @@ object ShouldWorkHK { def underlying = xs def BOOP(ys: Seq[M[_]]) = new Booper(xs ++ ys) } - implicit def mkBoop[M[_]](xs: Seq[M[_]]) = new Booper(xs) + implicit def mkBoop[M[_]](xs: Seq[M[_]]): ShouldWorkHK.Booper[M] = new Booper(xs) def f1 = x BOOP y BOOP x1 BOOP x2 } @@ -30,7 +30,7 @@ object DoesWorkHK { def underlying = xs def BOOP(ys: Seq[M[_]]) = new Booper[M](xs ++ ys) } - implicit def mkBoop[M[_]](xs: Seq[M[_]]) = new Booper[M](xs) + implicit def mkBoop[M[_]](xs: Seq[M[_]]): DoesWorkHK.Booper[M] = new Booper[M](xs) def f1 = x BOOP y BOOP x1 BOOP x2 } |