My understanding is that `ST RealWorld` and `IO` are genuinely the same thing. But I'd want someone with better understanding to corroborate that claim.

On Thu, Jul 20, 2017 at 12:02 PM, David Feuer <david.feuer@gmail.com> wrote:
This seems to commit to ST and IO really being the same. Does stToIO already make this commitment? I can't tell, but if not, I oppose making that commitment in the "public" interface.

On Jul 20, 2017 11:51 AM, "Andrew Martin" <andrew.thaddeus@gmail.com> wrote:
There's a function stToIO that is defined in GHC.IO and exported from Control.Monad.ST. There's another function, ioToST, that's also defined in IO, but it isn't exported from Control.Monad.ST. I propose that it be exported from Control.Monad.ST.

--
-Andrew Thaddeus Martin

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries





--
-Andrew Thaddeus Martin