Thanks, now fixed. (In your local copy of LazyST.hs, replace "Data.STRef" with "Data.STRef.Lazy".)
--sigbjorn ----- Original Message ----- From: "Iavor S. Diatchki" <[EMAIL PROTECTED]> To: "hugs-bugs" <[EMAIL PROTECTED]> Sent: Wednesday, October 29, 2003 11:38 Subject: type checking LazyST > hello, > hugs seems to have trouble type checking the following program. > it seems to work if i import ST rather than LazyST. > it also works with ghci. > > > module Test where > > import LazyST > > f :: ST RealWorld (STRef RealWorld ()) > > f = newSTRef () > > the error i get is: > ERROR "test.lhs":9 - Type error in explicitly typed binding > *** Term : f > *** Type : ST a (STRef a ()) > *** Does not match : ST RealWorld (STRef RealWorld ()) > > bye > iavor > > -- > ================================================== > | Iavor S. Diatchki, Ph.D. student | > | Department of Computer Science and Engineering | > | School of OGI at OHSU | > | http://www.cse.ogi.edu/~diatchki | > ================================================== > > > _______________________________________________ > Hugs-Bugs mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/hugs-bugs _______________________________________________ Hugs-Bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/hugs-bugs
