error.scala

  case class Lambda[A:Rep, B:Rep](f: A => B) extends (A => B) {

    val rA = rep[A]
    val rB = rep[B]

    type InternalB = rB.Internal

    lazy val lambda: Exp[rA.Internal => InternalB] = doLambdaDef(f)(rA, rB)

    def apply(arg:A):B = {
      implicit val mf = rB.m
      val apply = Apply(lambda, rA.to(arg))
      rB.from(apply)
    }
  }
    


    def sumIf(x: Lambda[T,Boolean] { type InternalB = scala.Boolean }): Int = {
      val lambda: Exp[x.rA.Internal => scala.Boolean] = x.lambda
      int(indexedSeq_sumIf(lambda))
    }
    
    /*
[error] /home/atoll/lms-clean/src/main/scala/scala/lms/common/IndexedSeq.scala:52: type mismatch;
[error]  found   : IndexedSeqsExp.this.Exp[x.rA.Internal => x.InternalB]
[error]     (which expands to)  IndexedSeqsExp.this.Exp[x.rA.Internal => x.rB.Internal]
[error]  required: IndexedSeqsExp.this.Exp[x.rA.Internal => Boolean]
[error]       val lambda: Exp[x.rA.Internal => scala.Boolean] = x.lambda
*/