5ef2340a745261d9de15513b67d37e296ba67462
[ghc.git] / testsuite / tests / typecheck / should_fail / T9109.stderr
1
2 T9109.hs:8:13:
3     Couldn't match expected type ‘t’ with actual type ‘Bool’
4       ‘t’ is untouchable
5         inside the constraints (t1 ~ Bool)
6         bound by a pattern with constructor
7                    GBool :: G Bool,
8                  in an equation for ‘foo’
9         at T9109.hs:8:5-9
10       ‘t’ is a rigid type variable bound by
11           the inferred type of foo :: G t1 -> t at T9109.hs:8:1
12     Possible fix: add a type signature for ‘foo’
13     Relevant bindings include foo :: G t1 -> t (bound at T9109.hs:8:1)
14     In the expression: True
15     In an equation for ‘foo’: foo GBool = True