[Haskell-cafe] Re: Haskell w/ delimited continuations

On 2/22/08, Taral wrote:

shift :: Prompt r -> ((a -> _) -> r) -> a

(Where _ is either r or forall b. b)

It occurs to me that _ has to be r, otherwise the subcontinuation can escape. -- Taral "Please let me know if there's any further trouble I can give you." -- Unknown