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 | ==================================================