22 Apr
2003
22 Apr
'03
10:05 p.m.
Unfortunately, in this case, with that function in isolation I get,
Ambiguous type variable(s) `s', `m' in the constraint `MonadState s m' arising from use of `get' ....
An easy way to get round this is to give a completely bogus type signature like: foo :: a The compiler will report a mismatch and the error message will tell you what it thinks the type is. -- Alastair Reid alastair@reid-consulting-uk.ltd.uk Reid Consulting (UK) Limited http://www.reid-consulting-uk.ltd.uk/alastair/