blob: a1b83bf04a7439fb2b87f6834a8b2649b5337242 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
object Basis {
final case class X[T](t: T)
val x = Seq(X(32))
val y = Seq(X(true))
val x1 = Seq(X("asdf"))
val x2 = Seq(X('d'))
}
import Basis._
object DoesWork {
def f2 = List(x, y, x1, x2).flatten
}
// Testing the not giving of explicit Booper[M] arguments.
object ShouldWorkHK {
class Booper[M[_]](xs: Seq[M[_]]) extends collection.generic.SeqForwarder[M[_]] {
def underlying = xs
def BOOP(ys: Seq[M[_]]) = new Booper(xs ++ ys)
}
implicit def mkBoop[M[_]](xs: Seq[M[_]]) = new Booper(xs)
def f1 = x BOOP y BOOP x1 BOOP x2
}
object DoesWorkHK {
class Booper[M[_]](xs: Seq[M[_]]) extends collection.generic.SeqForwarder[M[_]] {
def underlying = xs
def BOOP(ys: Seq[M[_]]) = new Booper[M](xs ++ ys)
}
implicit def mkBoop[M[_]](xs: Seq[M[_]]) = new Booper[M](xs)
def f1 = x BOOP y BOOP x1 BOOP x2
}
|
