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