The plot thickens...
It seems that I can't even use STRefs.
Something is really wrong here.
Prelude Control.Monad.ST Data.STRef> runST $ do {r<-newSTRef 2; readSTRef r}
<interactive>:1:8:
Couldn't match expected type `forall s. ST s a'
against inferred type `a1 b'
In the second argument of `($)', namely
`do r <- newSTRef 2
readSTRef r'
In the expression:
runST
$ (do r <- newSTRef 2
readSTRef r)
In the definition of `it':
it = runST
$ (do r <- newSTRef 2
readSTRef r)
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe