testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail198.stderr
1
2 tcfail198.hs:6:36: error:
3     • Couldn't match expected type ‘a1’ with actual type ‘a’
4       ‘a1’ is a rigid type variable bound by
5         an expression type signature:
6           forall a1. a1
7         at tcfail198.hs:6:41
8       ‘a’ is a rigid type variable bound by
9         the inferred type of f3 :: [a] -> [a]
10         at tcfail198.hs:6:1-44
11     • In the expression: x :: a
12       In the second argument of ‘(++)’, namely ‘[x :: a]’
13       In the expression: xs ++ [x :: a]
14     • Relevant bindings include
15         xs :: [a] (bound at tcfail198.hs:6:21)
16         x :: a (bound at tcfail198.hs:6:19)
17         f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)