type checking LazyST
Iavor S. Diatchki
diatchki at cse.ogi.edu
Wed Oct 29 11:38:04 EST 2003
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 ())
| 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