Hi, I invite you then to explain what happens with every step.
The use of "forall" is misleading and fast to be misunderstood: I mention here the inner forall's. Thx Scott ----- Original Message ----- From: "Shawn P. Garbett" <[EMAIL PROTECTED]> To: "Jon Cast" <[EMAIL PROTECTED]> Cc: <[EMAIL PROTECTED]> Sent: Friday, August 09, 2002 3:16 AM Subject: Re: Modification of State Transformer > > Btw: This has already been done, in GHC: see the ST module in GHC's > > library > > <http://www.haskell.org/ghc/docs/latest/html/base/Control.Monad.ST.html>. > > This list is great. The implementation in the ST module solves the problem > and I understand how it works. > > Shawn > > > -- > You're in a maze of twisty little statements, all alike. > Public Key available from http://www.garbett.org/public-key > _______________________________________________ > Haskell-Cafe mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
