Personal tools

Talk:MonadCont under the hood

From HaskellWiki

Jump to: navigation, search

Not clear why in this case function "g" is never invoked

doC n = return n >>= \x -> callCC (\abort -> h x abort >>= \y -> g y)