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

[Taral]

On 2/22/08, Taral <taralx at gmail.com> 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 <taralx at gmail.com>
"Please let me know if there's any further trouble I can give you."
    -- Unknown