Byron Cook <[EMAIL PROTECTED]> writes:
> i tried your solution on the function "f" used in earlier mesgs and got
> the same problem:
> paratha% ghc lazy.hs
>
> lazy.hs:6: Couldn't match the type `ST' against `ST'
> Expected: `ST taMI taML'
> Inferred: `ST taN9 taMu'
This really means:
lazy.hs:6: Couldn't match the type `LazyST.ST' against `ST.ST'
Expected: `LazyST.ST taMI taML'
Inferred: `ST.ST taN9 taMu'
(i.e. one example of why it's not always a good idea to print
unqualified Id's in the type error :-)
Anyway, the type of LazyST differs from ST, so you can't mix them
without using lazyToStrictST and strictToLazyST.
Cheers,
Simon
--
Simon Marlow [EMAIL PROTECTED]
University of Glasgow http://www.dcs.gla.ac.uk/~simonm/
finger for PGP public key
