Well, you can get something close with the help of IORefs, but I forgot the details. I believe this is the paper that explains it: "Value recursion in the continuation monad" by Magnus Carlsson http://www.carlssonia.org/ogi/mdo-callcc.pdf On 28 September 2011 15:15, Bas van Dijk <v.dijk.bas@gmail.com> wrote:
On 28 September 2011 14:25, Ertugrul Soeylemez <es@ertes.de> wrote:
Bas van Dijk <v.dijk.bas@gmail.com> wrote:
Because of this reason I don't provide a MonadTransControl instance for ContT in monad-control[2].
Is that even possible?
I once tried and failed so I believe it's not possible.
Bas
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Push the envelope. Watch it bend.