Re: [Haskell-cafe] Refactoring from State monad to ST monad, for STUArray

[Denis Bueno]

On Feb 2, 2008 5:58 PM, Daniel Fischer <[EMAIL PROTECTED]> wrote:
> Obviously not.
> Try
> solve rnd cnf = runST $ do
>         solution <- evalStateT ...
>         case solution of
>            Nothing -> return Unsat
>            Just ar -> unsafeFreeze ar
>

Ah, right.  Thanks.  This worked.

-- 
                              Denis
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe