Talk:MonadCont under the hood
Jump to navigation
Jump to 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)
Not clear why in this case function "g" is never invoked
doC n = return n >>= \x -> callCC (\abort -> h x abort >>= \y -> g y)