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 | ==================================================
Thanks, now fixed. (In your local copy of LazyST.hs, replace "Data.STRef" with "Data.STRef.Lazy".) --sigbjorn ----- Original Message ----- From: "Iavor S. Diatchki" <diatchki@cse.ogi.edu> To: "hugs-bugs" <hugs-bugs@haskell.org> 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 Hugs-Bugs@haskell.org http://www.haskell.org/mailman/listinfo/hugs-bugs
participants (2)
-
Iavor S. Diatchki -
Sigbjorn Finne