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/neg/tcpoly_infer_ticket1162.scala | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 test/files/neg/tcpoly_infer_ticket1162.scala (limited to 'test/files/neg/tcpoly_infer_ticket1162.scala') diff --git a/test/files/neg/tcpoly_infer_ticket1162.scala b/test/files/neg/tcpoly_infer_ticket1162.scala new file mode 100644 index 0000000000..0552b42a22 --- /dev/null +++ b/test/files/neg/tcpoly_infer_ticket1162.scala @@ -0,0 +1,8 @@ +object Test { + trait Expression[A,B] + + case class Lift[A,B,F[_]]() extends Expression[F[A],F[B]] + + def simplify[A,B]: Expression[A,B] = Lift[A,B]() +} + -- cgit v1.2.3