Visible type application
[ghc.git] / testsuite / tests / typecheck / should_fail / T9109.stderr
1
2 T9109.hs:8:13: error:
3     • Couldn't match expected type ‘r’ with actual type ‘Bool’
4         ‘r’ is untouchable
5           inside the constraints: t ~ 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       ‘r’ is a rigid type variable bound by
10         the inferred type of foo :: G t -> r at T9109.hs:8:1
11       Possible fix: add a type signature for ‘foo’
12     • In the expression: True
13       In an equation for ‘foo’: foo GBool = True
14     • Relevant bindings include foo :: G t -> r (bound at T9109.hs:8:1)