Improve typechecking of let-bindings
[ghc.git] / testsuite / tests / indexed-types / should_fail / SimpleFail5a.stderr
1 \r
2 SimpleFail5a.hs:31:11: error:\r
3     • Couldn't match type ‘a’ with ‘Int’\r
4       ‘a’ is a rigid type variable bound by\r
5         the type signature for:\r
6           bar3wrong :: forall a. S3 a -> a\r
7         at SimpleFail5a.hs:30:1-22\r
8       Expected type: S3 a\r
9         Actual type: S3 Int\r
10     • In the pattern: D3Int\r
11       In an equation for ‘bar3wrong’: bar3wrong D3Int = 1\r
12     • Relevant bindings include\r
13         bar3wrong :: S3 a -> a (bound at SimpleFail5a.hs:31:1)\r