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" <Shawn@Garbett.org> To: "Jon Cast" <jcast@ou.edu> Cc: <haskell-cafe@haskell.org> 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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe