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

Taral taralx at gmail.com
Fri Feb 22 22:51:35 EST 2008


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


More information about the Haskell-Cafe mailing list