On Sun, Sep 12, 2010 at 1:19 AM, Gregory Crosswhite <gcr...@phys.washington.edu> wrote: > > That's true, it just seems to me like at that point the spirit of the > continuation monad is being violated since the final continuation is never > actually called. That isn't necessarily a big deal, but it is the kind of > behavior that could bite someone if they weren't aware or forgot about it. >
I guess you could newtype ConT to make GotoT, and then provide your own runner with `return` as the continuation, and then that detail doesn't escape. Or provide the `goto` combinator in the same module as a ContT runner which auto-passes a vacuous final continuation. Antoine _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe