- About Scala
- Documentation
- Code Examples
- Software
- Scala Developers
Shifted function and application
Thu, 2011-09-15, 20:03
Dear all,
I am playing a bit with delimited continuations and I am blocked on something similar to:
val f : (Int => Int) @ cps[Int] = f val t : Int @ cps[Int] = f(3)
This results in a type error: (Int) => Int @scala.util.continuations.cpsMinus @util.continuations.package.cps[Int] does not take parameters
I understand that Shifted function can not be seen. But I naively thought that the cps tranform of the application would be able to apply that.
Am I missing something?Is there a way to solve my problem?
Best regards,
Nicolas.
I am playing a bit with delimited continuations and I am blocked on something similar to:
val f : (Int => Int) @ cps[Int] = f val t : Int @ cps[Int] = f(3)
This results in a type error: (Int) => Int @scala.util.continuations.cpsMinus @util.continuations.package.cps[Int] does not take parameters
I understand that Shifted function can not be seen. But I naively thought that the cps tranform of the application would be able to apply that.
Am I missing something?Is there a way to solve my problem?
Best regards,
Nicolas.
