From 8d1aa644f830b61a86c8397d1f4b190a0ff9510d Mon Sep 17 00:00:00 2001 From: Lukas Rytz Date: Fri, 4 Apr 2008 10:03:03 +0000 Subject: test for t0716 --- test/pending/pos/t0716.scala | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 test/pending/pos/t0716.scala (limited to 'test') diff --git a/test/pending/pos/t0716.scala b/test/pending/pos/t0716.scala new file mode 100644 index 0000000000..98ba9bb2aa --- /dev/null +++ b/test/pending/pos/t0716.scala @@ -0,0 +1,24 @@ +trait Functor[F[_]] { + def fmap[A,B](fun: A=>B, arg:F[A]): F[B] +} +object Functor{ + implicit val ListFunctor = new Functor[List] { + def fmap[A, B](f: A => B, arg: List[A]):List[B] = arg map f + } + + final class OOFunctor[F[_],A](arg:F[A])(implicit ftr: Functor[F]) { + def fmap[B](fun: A=>B):F[B] = ftr.fmap(fun,arg) + } + + //breaks if uncommented + implicit def lifttoOO[F[_],A](arg:F[A])(implicit ftr: Functor[F]) = new OOFunctor[F,A](arg)(ftr) + + //works if uncommented + //implicit def liftListtoOO[A](arg:List[A]):OOFunctor[List,A] = new OOFunctor[List,A](arg) +} + +object GeneralLiftingDemo extends Application { + import Functor._ + val l = List(1,2,3) + println("OO : " + l.fmap( 1+) ) +} -- cgit v1.2.3