summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T5689.stderr
blob: 2c7eaa87d45d23b9213c2673e90acc6d664105a3 (plain)
1
2
3
4
5
6
7
8
9
10

T5689.hs:10:36: error:
    • Couldn't match expected type ‘Bool’ with actual type ‘t’
    • In the expression: v
      In the expression: if v then False else True
      In the second argument of ‘writeIORef’, namely
        ‘(\ v -> if v then False else True)’
    • Relevant bindings include
        v :: t (bound at T5689.hs:10:28)
        r :: IORef (t -> t) (bound at T5689.hs:7:14)