type checking LazyST

Iavor S. Diatchki diatchki at cse.ogi.edu
Wed Oct 29 11:38:04 EST 2003


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




More information about the Hugs-Bugs mailing list