Print singleton consraints without parens
[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: GBool :: G Bool,
7                  in an equation for ‘foo’
8         at T9109.hs:8:5-9
9       ‘t’ is a rigid type variable bound by
10           the inferred type of foo :: G t1 -> t at T9109.hs:8:1
11     Possible fix: add a type signature for ‘foo’
12     Relevant bindings include foo :: G t1 -> t (bound at T9109.hs:8:1)
13     In the expression: True
14     In an equation for ‘foo’: foo GBool = True