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