blob: a8f349df434d0b6ebc8116a7625de6fbe5515075 (
plain)
1
2
3
4
5
6
7
8
9
|
T12170a.hs:20:35: error:
• Couldn't match type ‘Ref m0’ with ‘IORef’
Expected: IORef (f0 ()) -> m0 (f0 ())
Actual: Ref m0 (f0 ()) -> m0 (f0 ())
The type variable ‘m0’ is ambiguous
• In the second argument of ‘(.)’, namely ‘readRef’
In the second argument of ‘(>>=)’, namely ‘join . readRef’
In the expression: newRef (pure ()) >>= join . readRef
|
