diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/pending/pos/t0716.scala | 24 |
1 files changed, 24 insertions, 0 deletions
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+) ) +} |