23 Apr
2003
23 Apr
'03
3:35 a.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/