Problem with backtracking monad transformer
Andrew J Bromage
Mon, 3 Feb 2003 10:57:16 +1100
On Fri, Jan 31, 2003 at 09:05:11AM -0000, Guest, Simon wrote:
> This bit I don't understand. I only have one monad transformer, which I use to
> transform my SM monad.
What I mean is (and recall that I have not looked very hard at your
program, just the BACKTR implementation, so I'm not sure what
semantics you were really after) you may have meant to stack a state
monad transformer on top of BACKTR, rather than the other way.