211ec522a1b68d310427ecd17a8afb881c3b90ee
[ghc.git] / testsuite / tests / typecheck / should_fail / T5689.stderr
1
2 T5689.hs:10:36:
3     Couldn't match expected type ‘Bool’ with actual type ‘t’
4     Relevant bindings include
5       v :: t (bound at T5689.hs:10:28)
6       r :: IORef (t -> t) (bound at T5689.hs:7:14)
7     In the expression: v
8     In the expression: if v then False else True
9
10 T5689.hs:10:43:
11     Couldn't match expected type ‘t’ with actual type ‘Bool’
12     Relevant bindings include
13       v :: t (bound at T5689.hs:10:28)
14       r :: IORef (t -> t) (bound at T5689.hs:7:14)
15     In the expression: False
16     In the expression: if v then False else True
17
18 T5689.hs:10:54:
19     Couldn't match expected type ‘t’ with actual type ‘Bool’
20     Relevant bindings include
21       v :: t (bound at T5689.hs:10:28)
22       r :: IORef (t -> t) (bound at T5689.hs:7:14)
23     In the expression: True
24     In the expression: if v then False else True
25
26 T5689.hs:14:23:
27     Couldn't match expected type ‘t’ with actual type ‘Bool’
28     Relevant bindings include
29       c :: t -> t (bound at T5689.hs:12:13)
30       r :: IORef (t -> t) (bound at T5689.hs:7:14)
31     In the first argument of ‘c’, namely ‘True’
32     In the second argument of ‘($)’, namely ‘c True’