type checking LazyST
"Iavor S. Diatchki" <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.hugs.bugs |
|---|---|
| Message-ID | <[email protected]> |
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 | ==================================================