type checking LazyST

[Sigbjorn Finne]

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 at cse.ogi.edu>
To: "hugs-bugs" <hugs-bugs at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/hugs-bugs