In a previous mesg. i asked how one converts an "ST s a" computation to a
"IO a" computation. I received several helpful emails suggesting that i
re-write my code in the IO monad . This solution is not satisfactory for
the following reasons:
* Some pieces of my code are used elsewhere w/ runST, therefore I
would have to write two versions of the same algor: one that is
used in the IO context, and one for encapsulation
* IO a is at times too strict in the state.
Is there a theoretical, or pragmatic, reason that a function w/
type "ST s a -> IO a" is not provided in Hugs? Or is it simply that no-one
has asked for it before?
- byron
------------------------------------------------------------------------
Byron Cook -- Intel Strategic CAD Labs
