Thu, 5 Oct 2000 09:25:18 -0700, Simon Peyton-Jones <[EMAIL PROTECTED]> pisze:
> I discussed this with John Launchbury who pointed out a much
> better type for stToIO
>
> stToIO :: (forall s. ST s a) -> IO a
>
> That avoids exposing RealWorld while preserving soundness. Better, eh?
Doesn't it prevent returning a value of type STRef RealWorld something
from the computation, which is a perfect IORef something substitute
when we have stToIO?
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
