Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T5689.stderr
1
2 T5689.hs:10:36: error:
3     • Couldn't match expected type ‘Bool’ with actual type ‘t’
4     • In the expression: v
5       In the expression: if v then False else True
6       In the second argument of ‘writeIORef’, namely
7         ‘(\ v -> if v then False else True)’
8     • Relevant bindings include
9         v :: t (bound at T5689.hs:10:28)
10         r :: IORef (t -> t) (bound at T5689.hs:7:14)