From bf584e53207b837a3103a59614177ba39f06015e Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Thu, 22 Oct 2009 17:04:20 +0000 Subject: the essence of tcpoly inference + test cases fixes to check files and removed nonapplicable test case Tuple2 impl, but commented out so that we can bootstrap whitespace... --- test/files/pos/tcpoly_infer_ticket474.scala | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 test/files/pos/tcpoly_infer_ticket474.scala (limited to 'test/files/pos/tcpoly_infer_ticket474.scala') diff --git a/test/files/pos/tcpoly_infer_ticket474.scala b/test/files/pos/tcpoly_infer_ticket474.scala new file mode 100644 index 0000000000..8c9be4d5c4 --- /dev/null +++ b/test/files/pos/tcpoly_infer_ticket474.scala @@ -0,0 +1,27 @@ +trait Builder[C[_], T] { + def +=(x: T) + def finalise: C[T] +} + +trait Buildable[C[_]] { + def builder[T]: Builder[C,T] +} + +object Test { + + implicit object buildableList extends Buildable[List] { + def builder[T] = new Builder[List,T] { + val buf = new scala.collection.mutable.ListBuffer[T] + def +=(x: T) = buf += x + def finalise = buf.toList + } + } + + def foo[C[_],T](x: T)(implicit b: Buildable[C]): C[T] = { + val builder = b.builder[T] + builder += x + builder.finalise + } + + val l: List[Int] = foo(8) +} \ No newline at end of file -- cgit v1.2.3