Improve typechecking of let-bindings
[ghc.git] / testsuite / tests / typecheck / should_compile / ExPatFail.stderr
1 \r
2 ExPatFail.hs:12:15: error:\r
3     • Couldn't match expected type ‘t’ with actual type ‘a’\r
4         because type variable ‘a’ would escape its scope\r
5       This (rigid, skolem) type variable is bound by\r
6         a pattern with constructor:\r
7           MkT :: forall a. Integral a => a -> Int -> T,\r
8         in a pattern binding\r
9         at ExPatFail.hs:12:11-17\r
10     • In the pattern: MkT y _\r
11       In a pattern binding: MkT y _ = x\r
12       In the expression: let MkT y _ = x in y\r
13     • Relevant bindings include\r
14         f :: T -> t (bound at ExPatFail.hs:12:1)\r