I'm not seeing this problem on my machine (80686/Linux).
Can you send in a full bug report including a complete
transcript and a description of your OS, your compiler
and your configuration options.
Alastair
> In trying to understand fixST, I ran into the following which must be a bug.
>
> Version 971118
> ...
> Prelude> :load LazyST
> ...
> LazyST> :type runST (fixST ((\x -> do return 1) :: Int -> ST s Int))
> runST (fixST (\x -> do {...})) :: Int
> LazyST> runST (fixST ((\x -> do return 1) :: Int -> ST s Int))
> ()
>
> The type of the expression is Int, but evaluating it yields ().
> --
> Scott Turner
> [EMAIL PROTECTED] http://www.ma.ultranet.com/~pkturner
