This page is no longer maintained — Please continue to the home page at

Shifted function and application

No replies
Joined: 2011-02-13,
User offline. Last seen 42 years 45 weeks ago.
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,

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland