[Haskell-cafe] Haskell w/ delimited continuations

[Taral]

On Sat, Feb 23, 2008 at 1:05 AM,  <oleg at okmij.org> wrote:
>         reset ((\x -> x + x) (shift f f))

This one doesn't typecheck, since you can't unify the types (a -> r) and r.

-- 
Taral <taralx at gmail.com>
"Please let me know if there's any further trouble I can give you."
    -- Unknown