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 <[email protected]> wrote: > On 28 September 2011 14:25, Ertugrul Soeylemez <[email protected]> wrote: >> Bas van Dijk <[email protected]> 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Push the envelope. Watch it bend. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
